On Interleaving in Timed Automata.

Ramzi Ben Salah Marius Bozga Oded Maler

Published in: CONCUR (2006)

Keyphrases

timed automata
model checking
reachability analysis
theorem prover
theorem proving
first order logic
real time systems
artificial intelligence
reinforcement learning
software engineering
distributed systems