Differential hybrid games

@TECHREPORT{Platzer14:dGI,
	ref = {DBLP:journals/tocl/Platzer17},

  author    = {Andr{\'e} Platzer},
  title     = {Differential Hybrid Games},
  number    = {CMU-CS-14-102},
  year      = {2014},
  month     = {December},
  institution = {School of Computer Science,
               Carnegie Mellon University},
  address   = {Pittsburgh, PA},
  pdf = {http://reports-archive.adm.cs.cmu.edu/anon/2014/CMU-CS-14-102.pdf}
}```