Event-Clock Automata: A Determinizable Class of Timed Automata.

Rajeev Alur Limor Fix Thomas A. Henzinger

Published in: Theor. Comput. Sci. (1999)

Keyphrases

timed automata
model checking
reachability analysis
theorem prover
first order logic
temporal logic
power consumption
real time systems
high speed
theorem proving
finite state
event recognition
distributed systems
news articles
machine learning
multi class classification
event sequences