![](https://www.pdfsearch.io/img/258beb3ef99a5c336d2f43ce7fa5d588.jpg) 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 2016Add to Reading ListSource URL: arxiv.orgDownload Document from Source Website File Size: 160,05 KBShare Document on Facebook
|