The following publications are possibly variants of this publication:
- Receding horizon temporal logic control in dynamic environmentsAlphan Ulusoy, Calin Belta. ijrr, 33(12):1593-1607, 2014. [doi]
- Receding horizon surveillance with temporal logic specificationsXu Chu Ding, Calin Belta, Christos G. Cassandras. cdc 2010: 256-261 [doi]
- Receding horizon robot control in partially unknown environments with temporal logic constraintsVladislav Nenchev, Calin Belta. eucc 2016: 2614-2619 [doi]
- Motion planning and control from temporal logic specifications with probabilistic satisfaction guaranteesMorteza Lahijanian, Joseph Wasniewski, Sean B. Andersson, Calin Belta. icra 2010: 3227-3232 [doi]
- Probabilistic control from time-bounded temporal logic specifications in dynamic environmentsA. I. Medina Ayala, Sean B. Andersson, Calin Belta. icra 2012: 4705-4710 [doi]
- Receding horizon temporal logic control for finite deterministic systemsXu Chu Ding, Mircea Lazar, Calin Belta. amcc 2012: 715-720 [doi]
- Optimal receding horizon control for finite deterministic systems with temporal logic constraintsMaria Svorenova, Ivana Cerná, Calin Belta. amcc 2013: 4399-4404 [doi]