Parameterized verification of algorithms for oblivious robots on a ring.
Arnaud SangnierNathalie SznajderMaria Potop-ButucaruSébastien TixeuilPublished in: FMCAD (2017)
Keyphrases
- learning algorithm
- artificial intelligence
- data structure
- theoretical analysis
- neural network
- computational efficiency
- significant improvement
- orders of magnitude
- machine learning algorithms
- computer vision
- cooperative
- search algorithm
- computational complexity
- convergence rate
- database
- worst case
- computational cost
- mobile robot
- multi agent
- data sets