Expressiveness of Updatable Timed Automata.

Patricia Bouyer Catherine Dufourd Emmanuel Fleury Antoine Petit

Published in: MFCS (2000)

Keyphrases

timed automata
model checking
expressive power
reachability analysis
first order logic
theorem prover
theorem proving
temporal logic
real time systems
inference rules
computational properties
artificial intelligence
database
data sets
decision trees