This time the robot settles for a cost: A quantitative approach to temporal logic planning with partial satisfaction,” (2015)

by M Lahijanian, S Almagor, D Fried, L E Kavraki, M Y Vardi
Venue:in The Twenty-Ninth AAAI Conference on Artificial Intelligence, AAAI.