TY  - RPRT
TI  - Maximally Resilient Controllers under Temporal Logic Specifications
AU  - Youssef Ait Si
AU  - Ratnangshu Das
AU  - Negar Monir
AU  - Sadegh Soudjani
AU  - Pushpak Jagtap
AU  - Adnane Saoud
PY  - 2025
UR  - https://arxiv.org/abs/2509.01777
ID  - 2509.01777
ER  -