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

Provably Correct Persistent Surveillance for Unmanned Aerial Vehicles Subject to Charging Constraints. - Kevin Leahy 001; Dingjiang Zhou; Cristian Ioan Vasile; Konstantinos Oikonomopoulos; Mac Schwager; Calin Belta (ISER, 2014)

Persistent surveillance for unmanned aerial vehicles subject to charging and temporal logic constraints. - Kevin Leahy 001; Dingjiang Zhou; Cristian Ioan Vasile; Konstantinos Oikonomopoulos; Mac Schwager; Calin Belta (Auton. Robots, 2016)