The Theory of Timed Automata.

Rajeev Alur David L. Dill

Published in: REX Workshop (1991)

Keyphrases

timed automata
theoretical framework
digital libraries
first order logic
theoretical basis
formal theory
machine learning
case study
computational model
model checking
computational models
information theory
theorem prover
reachability analysis