Towards Verification of Robot Design for Self-localization.

Ryo Watanabe Kozo Okano Toshifusa Sekizawa

Published in: Haifa Verification Conference (2017)

Keyphrases

mobile robot
mechanical design
case study
functional verification
building blocks
path planning
design principles
robot navigation
robot control
real time
robotic systems
engineering design
goal directed
formal methods
formal verification