%0 Conference Paper %1 conf/aaai/AkintundeKLP19 %A Akintunde, Michael E. %A Kevorchian, Andreea %A Lomuscio, Alessio %A Pirovano, Edoardo %B AAAI %D 2019 %I AAAI Press %K dblp %P 6006-6013 %T Verification of RNN-Based Neural Agent-Environment Systems. %U http://dblp.uni-trier.de/db/conf/aaai/aaai2019.html#AkintundeKLP19 %@ 978-1-57735-809-1

@inproceedings{conf/aaai/AkintundeKLP19, added-at = {2021-02-02T00:00:00.000+0100}, author = {Akintunde, Michael E. and Kevorchian, Andreea and Lomuscio, Alessio and Pirovano, Edoardo}, biburl = {https://www.bibsonomy.org/bibtex/2dd9d75d5710ff3b2d210c3bb1674b9fd/dblp}, booktitle = {AAAI}, crossref = {conf/aaai/2019}, ee = {https://doi.org/10.1609/aaai.v33i01.33016006}, interhash = {dea0215300ee2074db2c6ce7433acfa9}, intrahash = {dd9d75d5710ff3b2d210c3bb1674b9fd}, isbn = {978-1-57735-809-1}, keywords = {dblp}, pages = {6006-6013}, publisher = {AAAI Press}, timestamp = {2024-04-09T18:02:18.000+0200}, title = {Verification of RNN-Based Neural Agent-Environment Systems.}, url = {http://dblp.uni-trier.de/db/conf/aaai/aaai2019.html#AkintundeKLP19}, year = 2019 }