Youssef Ait Si, Ratnangshu Das, Negar Monir, Sadegh Soudjani, Pushpak Jagtap, Adnane Saoud: Maximally Resilient Controllers under Temporal Logic Specifications. CDC 2025: 5034-5040