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

Open in new window