%0 Conference Paper %1 conf/cdmake/MayrVY20 %A Mayr, Franz %A Visca, Ramiro %A Yovine, Sergio %B CD-MAKE %D 2020 %E Holzinger, Andreas %E Kieseberg, Peter %E Tjoa, A Min %E Weippl, Edgar R. %I Springer %K dblp %P 343-363 %T On-the-fly Black-Box Probably Approximately Correct Checking of Recurrent Neural Networks. %U http://dblp.uni-trier.de/db/conf/cdmake/cdmake2020.html#MayrVY20 %V 12279 %@ 978-3-030-57321-8

@inproceedings{conf/cdmake/MayrVY20, added-at = {2023-03-21T00:00:00.000+0100}, author = {Mayr, Franz and Visca, Ramiro and Yovine, Sergio}, biburl = {https://www.bibsonomy.org/bibtex/2a341dbe0e411fc9116969b6f5275933f/dblp}, booktitle = {CD-MAKE}, crossref = {conf/cdmake/2020}, editor = {Holzinger, Andreas and Kieseberg, Peter and Tjoa, A Min and Weippl, Edgar R.}, ee = {https://doi.org/10.1007/978-3-030-57321-8_19}, interhash = {3149c0bd68b464d9162865e2279a992e}, intrahash = {a341dbe0e411fc9116969b6f5275933f}, isbn = {978-3-030-57321-8}, keywords = {dblp}, pages = {343-363}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T22:11:30.000+0200}, title = {On-the-fly Black-Box Probably Approximately Correct Checking of Recurrent Neural Networks.}, url = {http://dblp.uni-trier.de/db/conf/cdmake/cdmake2020.html#MayrVY20}, volume = 12279, year = 2020 }