Modeling and Verification of Contingency Resolution Strategies for Multi-Robot Missions Using Temporal Logic
International Journal of Advanced Robotic Systems
doi 10.1177/1729881419885697
Full Text
Open PDFAbstract
Available in full text
Date
November 1, 2019
Authors
Publisher
SAGE Publications