%0 Conference Paper %1 conf/atal/AkintundeBKL20 %A Akintunde, Michael E. %A Botoeva, Elena %A Kouvaros, Panagiotis %A Lomuscio, Alessio %B AAMAS %D 2020 %E Seghrouchni, Amal El Fallah %E Sukthankar, Gita %E An, Bo %E Yorke-Smith, Neil %I International Foundation for Autonomous Agents and Multiagent Systems %K dblp %P 25-33 %T Formal Verification of Neural Agents in Non-deterministic Environments. %U http://dblp.uni-trier.de/db/conf/atal/aamas2020.html#AkintundeBKL20 %@ 978-1-4503-7518-4

@inproceedings{conf/atal/AkintundeBKL20, added-at = {2022-07-26T00:00:00.000+0200}, author = {Akintunde, Michael E. and Botoeva, Elena and Kouvaros, Panagiotis and Lomuscio, Alessio}, biburl = {https://www.bibsonomy.org/bibtex/24248910931ae9dec58ca3e909bd73ec1/dblp}, booktitle = {AAMAS}, crossref = {conf/atal/2020}, editor = {Seghrouchni, Amal El Fallah and Sukthankar, Gita and An, Bo and Yorke-Smith, Neil}, ee = {https://www.ifaamas.org/Proceedings/aamas2020/pdfs/p25.pdf}, interhash = {bb888a71e78da6ea000230d3338ebc53}, intrahash = {4248910931ae9dec58ca3e909bd73ec1}, isbn = {978-1-4503-7518-4}, keywords = {dblp}, pages = {25-33}, publisher = {International Foundation for Autonomous Agents and Multiagent Systems}, timestamp = {2024-04-10T02:25:00.000+0200}, title = {Formal Verification of Neural Agents in Non-deterministic Environments.}, url = {http://dblp.uni-trier.de/db/conf/atal/aamas2020.html#AkintundeBKL20}, year = 2020 }