Updatable Timed Automata with Additive and Diagonal Constraints.

Lakshmi Manasa Shankara Narayanan Krishna Kumar Nagaraj

Published in: CiE (2008)

Keyphrases

timed automata
model checking
reachability analysis
linear constraints
relational databases
constraint satisfaction
databases
search space
low cost
constraint programming
constrained optimization
constraint networks