Temporal logic control for an autonomous quadrotor in a nondeterministic environment. - Alphan Ulusoy; Michael Marrazzo; Konstantinos Oikonomopoulos; Ryan Hunter; Calin Belta (ICRA, 2013)

Receding Horizon Control in Dynamic Environments from Temporal Logic Specifications. - Alphan Ulusoy; Michael Marrazzo; Calin Belta (Robotics: Science and Systems, 2013)