Nested Timed Automata with Diagonal Constraints.

Yuwei Wang Yunqing Wen Guoqiang Li Shoji Yuen

Published in: ICFEM (2017)

Keyphrases

timed automata
reachability analysis
constraint satisfaction
model checking
covariance matrix
data sets
neural network
relational databases
knowledge representation
markov decision processes
constraint programming
constrained optimization
image formation
resource constraints
mixed integer