Youssef Ait Si, Ratnangshu Das, Negar Monir, Sadegh Soudjani, Pushpak Jagtap, Adnane Saoud. Maximally Resilient Controllers under Temporal Logic Specifications. In 64th IEEE Conference on Decision and Control, CDC 2025, Rio de Janeiro, Brazil, December 9-12, 2025. pages 5034-5040, IEEE, 2025. [doi]
Abstract is missing.