Revising motion planning under linear temporal logic specifications in partially known workspaces,” (2013)

by M Guo, K H Johansson, D V Dimarogonas
Venue:in Int. Conf. on Robotics and Automation (ICRA). IEEE,