%0 Conference Paper %1 conf/cav/KatzBDJK17 %A Katz, Guy %A Barrett, Clark W. %A Dill, David L. %A Julian, Kyle %A Kochenderfer, Mykel J. %B CAV (1) %D 2017 %E Majumdar, Rupak %E Kuncak, Viktor %I Springer %K dblp %P 97-117 %T Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks. %U http://dblp.uni-trier.de/db/conf/cav/cav2017-1.html#KatzBDJK17 %V 10426 %@ 978-3-319-63387-9

@inproceedings{conf/cav/KatzBDJK17, added-at = {2019-09-25T00:00:00.000+0200}, author = {Katz, Guy and Barrett, Clark W. and Dill, David L. and Julian, Kyle and Kochenderfer, Mykel J.}, biburl = {https://www.bibsonomy.org/bibtex/27c5120d141beae2d79b60266ba8a1d77/dblp}, booktitle = {CAV (1)}, crossref = {conf/cav/2017-1}, editor = {Majumdar, Rupak and Kuncak, Viktor}, ee = {https://doi.org/10.1007/978-3-319-63387-9_5}, interhash = {f2373470321288883b33bdf504d51c87}, intrahash = {7c5120d141beae2d79b60266ba8a1d77}, isbn = {978-3-319-63387-9}, keywords = {dblp}, pages = {97-117}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-09-26T12:55:45.000+0200}, title = {Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks.}, url = {http://dblp.uni-trier.de/db/conf/cav/cav2017-1.html#KatzBDJK17}, volume = 10426, year = 2017 }