Polynomial Distinguishability of Timed Automata.

Sicco Verwer Mathijs de Weerdt Cees Witteveen

Published in: ICGI (2008)

Keyphrases

timed automata
model checking
reachability analysis
theorem prover
first order logic
real time systems
low order
temporal logic
theorem proving
databases
real time
learning algorithm
artificial intelligence
decision making
similarity measure
real world
high order