A Kleene Theorem for Timed Automata.

Eugene Asarin Paul Caspi Oded Maler

Published in: LICS (1997)

Keyphrases

timed automata
model checking
reachability analysis
propositional logic
first order logic
theorem prover
theorem proving
regular expressions
real time systems
von neumann
temporal logic
data sets
software engineering
supervised learning