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]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.