Decidability and Complexity Results for Timed Automata and Semi-linear Hybrid Automata.

Joseph S. Miller

Published in: HSCC (2000)

Keyphrases

hybrid automata
timed automata
model checking
finite state automata
machine learning
theorem prover
linear complexity
computational complexity
decision problems
query answering
reachability analysis
artificial intelligence
theorem proving