Minimum-Violation Temporal Logic Planning for Heterogeneous Robots under Robot Skill Failures

Samarth Kalluraya, Beichen Zhou, Yiannis Kantaros

In this paper, we consider teams of robots with heterogeneous skills (e.g., sensing and manipulation) tasked with collaborative missions described by Linear Temporal Logic (LTL) fo…