Modeling and verification of contingency resolution strategies for multi-robot missions using temporal logic
This article presents an approach for assessing contingency resolution strategies using temporal logic. We present a framework for nominal mission modeling, then specifying contingency resolution strategies and evaluating their effectiveness for the mission. Our approach focuses on leveraging the us...
| Main Authors: | , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
SAGE Publishing
2019-11-01
|
| Series: | International Journal of Advanced Robotic Systems |
| Online Access: | https://doi.org/10.1177/1729881419885697 |