Differential hybrid games

@ARTICLE{DBLP:journals/tocl/Platzer17,
	pdf = {https://dl.acm.org/doi/pdf/10.1145/3091123},

  author    = {Andr{\'e} 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},
}```