Decomposition of Timed Automata.

Kahn Mason Padmanabhan Krishnan

Published in: J. Univers. Comput. Sci. (1999)

Keyphrases

timed automata
model checking
reachability analysis
theorem prover
first order logic
decomposition algorithm
computer vision
real time systems
real time
decomposition method
decomposition methods
knowledge base
case study
cost function
hidden markov models
inference rules
databases