Lazy Abstractions for Timed Automata.

Frédéric Herbreteau B. Srivathsan Igor Walukiewicz

Published in: CAV (2013)

Keyphrases

timed automata
model checking
reachability analysis
theorem prover
first order logic
high level
theorem proving
real time systems
temporal logic
search space
real time
lazy learning
information systems
neural network
state space
low cost
training data