Better Abstractions for Timed Automata.

Frédéric Herbreteau B. Srivathsan Igor Walukiewicz

Published in: LICS (2012)

Keyphrases

timed automata
model checking
reachability analysis
theorem prover
first order logic
theorem proving
high level
temporal logic
real time systems
computer vision
information retrieval
genetic algorithm
artificial intelligence