Nested Timed Automata with Frozen Clocks.

Guoqiang Li Mizuhito Ogawa Shoji Yuen

Published in: FORMATS (2015)

Keyphrases

timed automata
model checking
reachability analysis
theorem prover
theorem proving
first order logic
real time systems
hierarchical structure
graphical models
hierarchical data
real time
data model
multiresolution
data structure
bayesian networks
case study
website
real world
neural network