Parameterized Verification of Algorithms for Oblivious Robots on a Ring.
Arnaud SangnierNathalie SznajderMaria Potop-ButucaruSébastien TixeuilPublished in: CoRR (2017)
Keyphrases
- computationally efficient
- real time
- model checking
- classification algorithm
- machine learning algorithms
- mobile robot
- computational complexity
- cooperative
- multi agent
- decision trees
- data structure
- data streams
- objective function
- computational cost
- worst case
- optimization problems
- artificial intelligence
- learning algorithm
- benchmark datasets
- machine learning
- database
- robotic systems
- human robot interaction