Reaching Out Towards Fully Verified Autonomous Systems. Conference Proceeding

Overview

CU Boulder Authors

• Sankaranarayanan, Sriram

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

• Lecture Notes in Artificial Intelligence  Journal

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