Constructive hybrid games

@INPROCEEDINGS{DBLP:conf/cade/BohrerP20,
	pdf = {https://link.springer.com/content/pdf/10.1007%2F978-3-030-51074-9_26.pdf},
	slides = {pub/constructive-hybrid-games-slides.pdf},

  author    = {Brandon Bohrer and
               Andr{\'{e}} 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 and
               Viorica Sofronie-Stokkermans},
  publisher = {Springer},
  series    = {LNCS},
  volume    = {12166},
  subseries = {LNAI},
}```