Removing All Silent Transitions from Timed Automata.

Catalin Dima Ruggero Lanotte

Published in: FORMATS (2009)

Keyphrases

timed automata
model checking
reachability analysis
theorem prover
theorem proving
first order logic
temporal logic
pattern recognition
real time systems
objective function
expert systems
real time
high level
markov decision processes
inference rules
multimedia
metadata
decision making
databases