Login / Signup
Parameterized verification of algorithms for oblivious robots on a ring.
Arnaud Sangnier
Nathalie Sznajder
Maria Potop-Butucaru
Sébastien Tixeuil
Published in:
Formal Methods Syst. Des. (2020)
Keyphrases
</>
learning algorithm
data structure
computational complexity
machine learning algorithms
graph theory
cooperative
mobile robot
times faster
computationally expensive
optimization problems
model checking
orders of magnitude
benchmark datasets
theoretical analysis
data sets
computational cost
data mining