Login / Signup
On Reachability for Hybrid Automata over Bounded Time.
Thomas Brihaye
Laurent Doyen
Gilles Geeraerts
Joël Ouaknine
Jean-François Raskin
James Worrell
Published in:
ICALP (2) (2011)
Keyphrases
</>
hybrid automata
finite state automata
state space
transitive closure
data sets
decision rules