Better abstractions for timed automata

Frédéric Herbreteau B. Srivathsan Igor Walukiewicz

Published in: CoRR (2011)

Keyphrases

timed automata
model checking
reachability analysis
theorem prover
first order logic
high level
theorem proving
real time systems
temporal logic
machine learning
markov decision processes
trade off
optimal solution
social networks
genetic algorithm
data sets
qualitative probabilistic networks