Compositional Algorithms for Succinct Safety Games.

Romain Brenguier Guillermo A. Pérez Jean-François Raskin Ocan Sankur

Published in: SYNT (2015)

Keyphrases

learning algorithm
times faster
data structure
computational cost
worst case
database
significant improvement
optimization problems
orders of magnitude
real time
data sets
image processing
computationally efficient
machine learning algorithms
computationally expensive
recently developed