User interface design and verification for semi-autonomous driving

Dorsa Sadigh, Katherine Driggs-Campbell, Ruzena Bajcsy, S. Shankar Sastry, Sanjit A. Seshia. User interface design and verification for semi-autonomous driving. In Linda Bushnell, Larry Rohrbough, Saurabh Amin, Xenofon D. Koutsoukos, editors, 3rd International Conference on High Confidence Networked Systems (part of CPS Week), HiCoNS '14, Berlin, Germany, April 15-17, 2014. pages 63-64, ACM, 2014. [doi]

Authors

Dorsa Sadigh

This author has not been identified. Look up 'Dorsa Sadigh' in Google

Katherine Driggs-Campbell

This author has not been identified. Look up 'Katherine Driggs-Campbell' in Google

Ruzena Bajcsy

This author has not been identified. Look up 'Ruzena Bajcsy' in Google

S. Shankar Sastry

This author has not been identified. Look up 'S. Shankar Sastry' in Google

Sanjit A. Seshia

This author has not been identified. Look up 'Sanjit A. Seshia' in Google