Reachability in timed automata with diagonal constraints.

Paul Gastin Sayan Mukherjee B. Srivathsan

Published in: CoRR (2018)

Keyphrases

timed automata
reachability analysis
model checking
theorem prover
real time
global constraints
linear constraints
multiple constraints
search engine
co occurrence
constraint satisfaction
geometric constraints