Recent Trends in Formal Validation and Verification of Autonomous Robots Software.

Published in: IRC (2019)

Keyphrases

autonomous robots
recent trends
formal methods
mobile robot
robot navigation
robot control
robotic systems
image and video processing
software development
computer systems
multiple robots
multi robot systems
relevant literature
model checking
machine learning
path planning
signal and image processing