Time-Bounded Reachability for Monotonic Hybrid Automata: Complexity and Fixed Points.

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

Browse the full ATVA paper archive.