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:
CoRR (2011)
Keyphrases
</>
hybrid automata
finite state automata
transitive closure
state space
database
data sets
relational databases
theoretical analysis
pattern matching
integrity constraints
learning theory