Formal methods for semi-autonomous driving

We give an overview of the main challenges in the specification, design, and verification of human cyber-physical systems, with a special focus on semi-autonomous vehicles. We identify unique characteristics of formal modeling, specification, verification and synthesis in this domain. Some initial r...

Full description

Bibliographic Details

Published in:	Proceedings - ACM IEEE Design Automation Conference pp. 1 - 5
Main Authors:	Seshia, Sanjit A., Sadigh, Dorsa, Sastry, S. Shankar
Format:	Conference Proceeding
Language:	English
Published:	IEEE 01.06.2015
Subjects:	Automation automotive systems Computational modeling control Control systems cyber-physical systems Data models Formal verification semi-autonomous driving Sensors synthesis Vehicles
ISSN:	0738-100X
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!