Alternating Timed Automata over Bounded Time.

Mark Jenkins Joël Ouaknine Alexander Rabinovich James Worrell

Published in: LICS (2010)

Keyphrases

timed automata
model checking
reachability analysis
theorem prover
theorem proving
first order logic
temporal logic
real time systems
neural network
artificial intelligence
search engine
three dimensional
database systems
asymptotically optimal