A Determinizable Class of Timed Automata.

Rajeev Alur Limor Fix Thomas A. Henzinger

Published in: CAV (1994)

Keyphrases

timed automata
reachability analysis
model checking
theorem prover
real time
data mining
relational databases
artificial neural networks
software engineering
low cost
markov decision processes
object classes