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]
Abstract is missing.