O-minimal hybrid reachability games (0)

by Patricia Bouyer, Thomas Brihaye, Fabrice Chevalier
Venue:Log. Meth. Comput. Sci