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


publication date

  • January 1, 2015

Full Author List

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

Additional Document Info

start page

  • 3664

end page

  • 3671