Paper Info
Title
Formal Verification of Robotics Navigation Algorithms
Abstract
BUGs algorithms are navigation algorithms that have been designed to seek of a target in a plane that contains obstacles. Many new navigation algorithms have been inspired from them and their applications can be found in autonomous mobile robots, e.g., self driving vehicles. These algorithms are inspired from insects and are comparable to the motion of ants, which yields motion strategies for the robot that guarantees the elusive target will be detected, if such strategies exist. However, these algorithms have not been formally verified using existing formal verification tools. Therefore, the aim of this paper is to apply model checking for verifying the correctness of BUGs algorithms and draw conclusions for future uses of formal methods in the design and model checking of navigation algorithms.
Year
DOI
Venue
2016
10.1109/CSE-EUC-DCABES.2016.181
2016 IEEE Intl Conference on Computational Science and Engineering (CSE) and IEEE Intl Conference on Embedded and Ubiquitous Computing (EUC) and 15th Intl Symposium on Distributed Computing and Applications for Business Engineering (DCABES)
Keywords
Field
DocType
formal verification,robotics navigation,BUGs algorithms,navigation algorithms,autonomous mobile robots,self driving vehicles,model checking
Model checking,Computer science,Correctness,Software bug,Algorithm,Theoretical computer science,Formal methods,Mobile robot navigation,Robot,Mobile robot,Formal verification
Conference
ISBN
Citations 
PageRank 
978-1-5090-3594-6
0
0.34
References 
Authors
7
2
Name
Order
Citations
PageRank
Vasileios Germanos100.34
E L Secco202.03