Maximally Resilient Controllers under Temporal Logic Specifications

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]

Authors

Youssef Ait Si

This author has not been identified. Look up 'Youssef Ait Si' in Google

Ratnangshu Das

This author has not been identified. Look up 'Ratnangshu Das' in Google

Negar Monir

This author has not been identified. Look up 'Negar Monir' in Google

Sadegh Soudjani

This author has not been identified. Look up 'Sadegh Soudjani' in Google

Pushpak Jagtap

This author has not been identified. Look up 'Pushpak Jagtap' in Google

Adnane Saoud

This author has not been identified. Look up 'Adnane Saoud' in Google