Fast algorithms for handling diagonal constraints in timed automata.

Paul Gastin Sayan Mukherjee B. Srivathsan

Published in: CoRR (2019)

Keyphrases

learning algorithm
optimization problems
data structure
computational cost
computationally efficient
theoretical analysis
times faster
timed automata
data sets
search algorithm
computational complexity
model checking