Differential hybrid games

@article{DBLP:journals/tocl/Platzer17,
	pdf = {https://dl.acm.org/doi/pdf/10.1145/3091123},
	author = {['André Platzer']},
	title = {Differential Hybrid Games},
	journal = {ACM Trans. Comput. Log.},
	volume = {18},
	number = {3},
	year = {2017},
	pages = {19:1-19:44},
	doi = {10.1145/3091123},
	issn = {1529-3785}
}