Temporal logicbased reactive mission and motion planning,” (2009)

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