Better abstractions for timed automata.

Frédéric Herbreteau B. Srivathsan Igor Walukiewicz

Published in: Inf. Comput. (2016)

Keyphrases

timed automata
model checking
reachability analysis
theorem prover
theorem proving
first order logic
high level
real time systems
artificial intelligence
temporal logic
data sets
knowledge representation