Fast Algorithms for Handling Diagonal Constraints in Timed Automata.

Paul Gastin Sayan Mukherjee B. Srivathsan

Published in: CAV (1) (2019)

Keyphrases

learning algorithm
optimization problems
data structure
orders of magnitude
significant improvement
computationally efficient
computational complexity
machine learning algorithms
geometric constraints