Temporal-logic-based reactive mission and motion planning (2009)

by H Kress-Gazit, G E Fainekos, G J Pappas
Venue:IEEE Trans. on Robotics