Reachability in Timed Automata with Diagonal Constraints.

Paul Gastin Sayan Mukherjee B. Srivathsan

Published in: CONCUR (2018)

Keyphrases

timed automata
model checking
constraint satisfaction
database
databases
state space
theorem prover
theorem proving
knowledge representation
low cost
constraint programming
reachability analysis
machine learning
social networks
information systems
image sequences