%0 Conference Paper %1 conf/cav/DreossiFGKRVS19 %A Dreossi, Tommaso %A Fremont, Daniel J. %A Ghosh, Shromona %A Kim, Edward %A Ravanbakhsh, Hadi %A Vazquez-Chanlatte, Marcell %A Seshia, Sanjit A. %B CAV (1) %D 2019 %E Dillig, Isil %E Tasiran, Serdar %I Springer %K dblp %P 432-442 %T VerifAI: A Toolkit for the Formal Design and Analysis of Artificial Intelligence-Based Systems. %U http://dblp.uni-trier.de/db/conf/cav/cav2019-1.html#DreossiFGKRVS19 %V 11561 %@ 978-3-030-25540-4

@inproceedings{conf/cav/DreossiFGKRVS19, added-at = {2024-05-07T00:00:00.000+0200}, author = {Dreossi, Tommaso and Fremont, Daniel J. and Ghosh, Shromona and Kim, Edward and Ravanbakhsh, Hadi and Vazquez-Chanlatte, Marcell and Seshia, Sanjit A.}, biburl = {https://www.bibsonomy.org/bibtex/24f15ac7d22153570e048076131a31d97/dblp}, booktitle = {CAV (1)}, crossref = {conf/cav/2019-1}, editor = {Dillig, Isil and Tasiran, Serdar}, ee = {https://doi.org/10.1007/978-3-030-25540-4_25}, interhash = {882979c8cddf207fc6a9617ceb18da9a}, intrahash = {4f15ac7d22153570e048076131a31d97}, isbn = {978-3-030-25540-4}, keywords = {dblp}, pages = {432-442}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-05-13T08:16:14.000+0200}, title = {VerifAI: A Toolkit for the Formal Design and Analysis of Artificial Intelligence-Based Systems.}, url = {http://dblp.uni-trier.de/db/conf/cav/cav2019-1.html#DreossiFGKRVS19}, volume = 11561, year = 2019 }