TY  - RPRT
TI  - Resilient and Effort-Optimal Controller Synthesis under Temporal Logic Specifications
AU  - Youssef Ait Si
AU  - Ratnangshu Das
AU  - Negar Monir
AU  - Sadegh Soudjani
AU  - Pushpak Jagtap
AU  - Adnane Saoud
PY  - 2026
UR  - https://arxiv.org/abs/2604.10680
ID  - 2604.10680
ER  -