Reaching Out Towards Fully Verified Autonomous Systems.
Conference Proceeding
Overview
publication date
- January 9, 2019
Date in CU Experts
- February 1, 2020 7:27 AM
Full Author List
- Sankaranarayanan S; Sergio M; Souradeep D
author count
- 3
published in
presented at event
- Reachability Problems 2019 Conference
Other Profiles
International Standard Serial Number (ISSN)
- 0302-9743
Additional Document Info
start page
- 22
end page
- 32
volume
- 11674