Abstraction Refinement Algorithms for Timed Automata.

Victor Roussanaly Ocan Sankur Nicolas Markey

Published in: CAV (1) (2019)

Keyphrases

learning algorithm
data structure
high level
computational complexity
orders of magnitude
search algorithm
association rules
significant improvement
computationally efficient
theoretical analysis
computational efficiency
recently developed
convergence rate
timed automata
imperfect information games