Nested Timed Automata.

Guoqiang Li Xiaojuan Cai Mizuhito Ogawa Shoji Yuen

Published in: FORMATS (2013)

Keyphrases

timed automata
model checking
reachability analysis
theorem prover
theorem proving
first order logic
real time systems
machine learning
temporal logic
hierarchical data
databases
computer vision
multimedia
multiscale
special case
hierarchical structure
neural network