Constructive hybrid games

@inproceedings{DBLP:conf/cade/BohrerP20,
	pdf = {https://link.springer.com/content/pdf/10.1007},
	slides = {pub/constructive-hybrid-games-slides.pdf},
	author = {['Brandon Bohrer', 'André Platzer']},
	title = {Constructive Hybrid Games},
	booktitle = {IJCAR},
	longbooktitle = {Automated Reasoning, 10th International Joint Conference,
               IJCAR 2020, Paris, France, Proceedings},
	year = {2020},
	pages = {454-473},
	doi = {10.1007/978-3-030-51074-9_26},
	editor = {['Nicolas Peltier', 'Viorica Sofronie-Stokkermans']},
	publisher = {Springer},
	series = {LNCS},
	volume = {12166},
	subseries = {LNAI}
}