Runtime Verification of Timed Properties in Autonomous Robots.

Mohammed Foughali Saddek Bensalem Jacques Combaz Félix Ingrand

Published in: MEMOCODE (2020)

Keyphrases

autonomous robots
mobile robot
robot navigation
goal directed
robotic systems
desirable properties
robot control
motion control
petri net
autonomous mobile robot
model checking
control system
vision system
formal methods
multiple robots
multi robot systems