Towards Verified Artificial Intelligence Sanjit A. Seshia, Dorsa Sadigh, and S. Shankar Sastry University of California, Berkeley {sseshia,dsadigh,sastry arXiv:1606.08514v2 [cs.AI] 2 Jul 2016 - Shankar - Document - PDFSEARCH.IO

First Page		Document Content
Date: 2018-06-13 00:41:14		Towards Verified Artificial Intelligence Sanjit A. Seshia, Dorsa Sadigh, and S. Shankar Sastry University of California, Berkeley {sseshia,dsadigh,sastry}@eecs.berkeley.edu arXiv:1606.08514v2 [cs.AI] 2 Jul 2016 Add to Reading List Source URL: arxiv.org Download Document from Source Website File Size: 160,05 KB Share Document on Facebook