The following publications are possibly variants of this publication:
- Receding horizon temporal logic planning for dynamical systemsTichakorn Wongpiromsarn, Ufuk Topcu, R. Richard Murray. cdc 2009: 5997-6004 [doi]
- Receding Horizon Temporal Logic PlanningTichakorn Wongpiromsarn, Ufuk Topcu, Richard M. Murray. tac, 57(11):2817-2830, 2012. [doi]
- Receding horizon control for temporal logic specificationsTichakorn Wongpiromsarn, Ufuk Topcu, Richard M. Murray. hybrid 2010: 101-110 [doi]
- Variable elimination for scalable receding horizon temporal logic planningMattias Falt, Vasumathi Raman, Richard M. Murray. amcc 2015: 1917-1922 [doi]
- TuLiP: a software toolbox for receding horizon temporal logic planningTichakorn Wongpiromsarn, Ufuk Topcu, Necmiye Ozay, Huan Xu, Richard M. Murray. hybrid 2011: 313-314 [doi]