@misc{indiciaeb9b8471aa828,
  title = {Maximally Resilient Controllers under Temporal Logic Specifications},
  author = {Youssef Ait Si and Ratnangshu Das and Negar Monir and Sadegh Soudjani and Pushpak Jagtap and Adnane Saoud},
  year = {2025},
  url = {https://arxiv.org/abs/2509.01777},
  note = {Source identifier: 2509.01777}
}