A menagerie of timed automata.

Peter Fontana Rance Cleaveland

Published in: ACM Comput. Surv. (2014)

Keyphrases

timed automata
model checking
reachability analysis
theorem prover
theorem proving
first order logic
real time systems
temporal logic
reinforcement learning
natural language
probabilistic model