TY - RPRT TI - Minimum-Violation Temporal Logic Planning for Heterogeneous Robots under Robot Skill Failures AU - Samarth Kalluraya AU - Beichen Zhou AU - Yiannis Kantaros PY - 2025 UR - https://arxiv.org/abs/2410.17188 ID - 2410.17188 ER -