TY  - RPRT
TI  - O-Minimal Hybrid Reachability Games
AU  - Patricia Bouyer
AU  - Thomas Brihaye
AU  - Fabrice Chevalier
PY  - 2010
DO  - 10.2168/lmcs-6(1:1)2010
UR  - https://arxiv.org/abs/0911.4833
ID  - 0911.4833
ER  -