Formal Verification of Robotics Navigation Algorithms.

Vasileios Germanos Emanuele Lindo Secco

Published in: CSE/EUC/DCABES (2016)

Keyphrases

formal verification
computational cost
artificial intelligence
computer vision
website
significant improvement
computationally efficient
theoretical analysis
computational complexity
worst case
model checking
probabilistic reasoning