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 2016Add to Reading ListSource URL: arxiv.orgDownload Document from Source WebsiteFile Size: 160,05 KBShare Document on Facebook |