Alphan Ulusoy, Michael Marrazzo, Calin Belta. Receding Horizon Control in Dynamic Environments from Temporal Logic Specifications. In Paul Newman, Dieter Fox, David Hsu, editors, Robotics: Science and Systems IX, Technische Universität Berlin, Berlin, Germany, June 24 - June 28, 2013. 2013. [doi]
Abstract is missing.