Finite-trace and generalized-reactivity specifications in temporal synthesis by De Giacomo, G, Di Stasio, A, Tabajara, LM, Vardi, MY, Zhu, S

Iterative temporal planning in uncertain environments with partial satisfaction guarantees by Lahijanian, M, Maly, MR, Fried, D, Kavraki, LE, Kress-Gazit, H, Vardi, MY