The Power of Reachability Testing for Timed Automata.

Luca Aceto Patricia Bouyer Augusto Burgueño Kim Guldstrand Larsen

Published in: FSTTCS (1998)

Keyphrases

timed automata
model checking
reachability analysis
power consumption
theorem prover
transitive closure
theorem proving
temporal logic
power distribution
computational power
first order logic
state space
statistical tests
database
data model
real time systems
website
learning algorithm
data mining