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', 'André 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', 'Dale Miller', '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}
}