This Time the Robot Settles for a Cost: A Quantitative Approach to Temporal Logic Planning with Partial Satisfaction
Morteza Lahijanian‚ Shaull Almagor‚ Dror Fried‚ Lydia E. Kavraki and Moshe Y. Vardi
Book Title
Proceedings of the Twenty−Ninth AAAI Conference on Artificial Intelligence‚ January 25−30‚ 2015‚ Austin‚ Texas‚ USA.
Editor
Blai Bonet and Sven Koenig
ISBN
978−1−57735−698−1
Pages
3664–3671
Year
2015