Are Timed Automata Updatable?

Patricia Bouyer Catherine Dufourd Emmanuel Fleury Antoine Petit

Published in: CAV (2000)

Keyphrases

timed automata
model checking
reachability analysis
theorem prover
theorem proving
first order logic
active rules
real time systems
databases
data mining
decision support system
low cost
temporal logic