Reaching Out Towards Fully Verified Autonomous Systems Conference Proceeding

Overview

CU Boulder Authors

Sankaranarayanan, Sriram

publication date

September 11, 2019

has restriction

closed

Date in CU Experts

February 1, 2020 7:27 AM

Full Author List

Sankaranarayanan S; Dutta S; Mover S

Full Editor List

Filiot E; Jungers R; Potapov I

author count

3

citation count

1

published in

Lecture Notes in Artificial Intelligence Journal

presented at event

13th International Conference on Reachability Problems (RP) Conference

Other Profiles

International Standard Serial Number (ISSN)

0302-9743

Electronic International Standard Serial Number (EISSN)

1611-3349

Digital Object Identifier (DOI)

https://doi.org/10.1007/978-3-030-30806-3_3

International Standard Book Number (ISBN) 13

978-3-030-30805-6

Additional Document Info

start page

22

end page

32

volume

11674