This Time the Robot Settles for a Cost: A Quantitative Approach to Temporal Logic Planning with Partial Satisfaction
Conference Proceeding
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