Crossmark

Towards a Two-Layer Framework for Verifying Autonomous Vehicles

Crossref DOI link: https://doi.org/10.1007/978-3-030-20652-9_12

Published Online: 2019-05-28

Published Print: 2019

Update policy: https://doi.org/10.1007/springer_crossmark_policy

Authors

Gu, Rong

Marinescu, Raluca

Seceleanu, Cristina

Lundqvist, Kristina
License Information

Text and Data Mining valid from 2019-01-01
More Information

Chapter History

First Online: 28 May 2019

Conference Information

Conference Acronym: NFM

Conference Name: NASA Formal Methods Symposium

Conference City: Houston, TX

Conference Country: USA

Conference Year: 2019

Conference Start Date: 7 May 2019

Conference End Date: 9 May 2019

Conference Number: 11

Conference ID: nfm2019

Conference URL: https://robonaut.jsc.nasa.gov/R2/pages/nfm2019.html