Secure-by-Construction Optimal Path Planning for Linear Temporal Logic Tasks
Conference Proceeding
Overview
publication date
- December 14, 2020
Date in CU Experts
- January 30, 2021 7:23 AM
Full Author List
- Yang S; Yin X; Li S; Zamani M
author count
- 4
citation count
- 14
published in
presented at event
Other Profiles
International Standard Serial Number (ISSN)
- 0743-1546
Additional Document Info
start page
- 4460
end page
- 4466