@misc{indiciaecd92c81e2552,
  title = {Resilient and Effort-Optimal Controller Synthesis under Temporal Logic Specifications},
  author = {Youssef Ait Si and Ratnangshu Das and Negar Monir and Sadegh Soudjani and Pushpak Jagtap and Adnane Saoud},
  year = {2026},
  url = {https://arxiv.org/abs/2604.10680},
  note = {Source identifier: 2604.10680}
}