When Are Timed Automata Determinizable?

Christel Baier Nathalie Bertrand Patricia Bouyer Thomas Brihaye

Published in: ICALP (2) (2009)

Keyphrases

timed automata
model checking
reachability analysis
theorem prover
first order logic
theorem proving
real time systems
machine learning
real time
low cost
probabilistic model
reinforcement learning
expert systems
software engineering