Sign in
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