On Reachability for Hybrid Automata over Bounded Time.

Thomas Brihaye, Laurent Doyen, Gilles Geeraerts, Jol Ouaknine, Jean-Franois Raskin, James Worrell

Browse the full ICALP paper archive.