Reactive synthesis for finite tasks under resource constraints
Conference Proceeding
Overview
publication date
- September 24, 2017
has restriction
- green
Date in CU Experts
- February 1, 2019 8:45 AM
Full Author List
- He K; Lahijanian M; Kavraki LE; Vardi MY
author count
- 4
published in
presented at event
Other Profiles
Digital Object Identifier (DOI)
Additional Document Info
start page
- 5326
end page
- 5332