Verification of Visibility-Based Properties on Multiple Moving Robots.

Ali Narenji Sheshkalani Ramtin Khosravi Mayssam Mohammadi

Published in: TAROS (2017)

Keyphrases

mobile robot
desirable properties
cooperative
model checking
multiple objects
single point
autonomous systems
human robot