Lahijanian, M.; Almagor, S.; Fried, D.; Kavraki, L.; Vardi, M. This Time the Robot Settles for a Cost: A Quantitative Approach to Temporal Logic Planning With Partial Satisfaction. AAAI 2015, 29.