Temporal logic control for an autonomous quadrotor in a nondeterministic environment.

Alphan Ulusoy, Michael Marrazzo, Konstantinos Oikonomopoulos, Ryan Hunter, Calin Belta

Browse the full ICRA paper archive.