This Time the Robot Settles for a Cost: A Quantitative Approach to Temporal Logic Planning with Partial Satisfaction Conference Proceeding uri icon

Overview

publication date

  • January 1, 2015

Date in CU Experts

  • November 2, 2018 10:42 AM

Full Author List

  • Lahijanian M; Almagor S; Fried D; Kavraki LE; Vardi MY

author count

  • 5

Other Profiles

International Standard Book Number (ISBN) 10

  • 0-262-51129-0

Additional Document Info

start page

  • 3664

end page

  • 3671