Playing hybrid games with KeYmaera

@INPROCEEDINGS{DBLP:conf/cade/QueselP12,
	pdf = {pub/game-KeYmaera.pdf},
	slides = {pub/game-KeYmaera-slides.pdf},
	study = {pub/game-KeYmaera-study.zip},

  author    = {Jan-David Quesel and
               Andr{\'e} Platzer},
  title     = {Playing Hybrid Games with KeYmaera},
  booktitle = {IJCAR},
  year      = {2012},
  pages     = {439-453},
  doi       = {10.1007/978-3-642-31365-3_34},
  editor    = {Bernhard Gramlich and
               Dale Miller and
               Ulrike Sattler},
  longbooktitle = {Automated Reasoning - 6th International
               Joint Conference, IJCAR 2012, Manchester, UK.
               Proceedings},
  series    = {LNCS},
  volume    = {7364},
  publisher = {Springer},
  isbn      = {978-3-642-31364-6},
}```