Robust Temporal Logic Planning Under Contingency Constraints. - Sadik Bera Yüksel; Azizollah Taheri; Yasin Yazicioglu; Derya Aksaray (CASE, 2025)