TY  - RPRT
TI  - Differential Hybrid Games
AU  - André Platzer
PY  - 2017
DO  - 10.1145/3091123
UR  - https://arxiv.org/abs/1507.04943
ID  - 1507.04943
ER  -