Verifying Linear Duration Constraints of Timed Automata.

Pham Hong Thai Dang Van Hung

Published in: ICTAC (2004)

Keyphrases

timed automata
model checking
linear constraints
reachability analysis
linear inequalities
temporal logic
constrained optimization
constraint satisfaction
closed form
closed form solutions
databases
database
geometric constraints
constraint networks
first order logic
machine learning
data sets