Skip to main content
Formal methods for semi-autonomous driving
Published Web Location
http://people.eecs.berkeley.edu/~sseshia/pubs/sort_date.htmlNo data is associated with this publication.
Abstract
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 results and design princIPles are presented along with directions for future work.
Many UC-authored scholarly publications are freely available on this site because of the UC's open access policies. Let us know how this access is important for you.