%0 Journal Article %1 journals/aamas/AkintundeBKL22 %A Akintunde, Michael E. %A Botoeva, Elena %A Kouvaros, Panagiotis %A Lomuscio, Alessio %D 2022 %J Auton. Agents Multi Agent Syst. %K dblp %N 1 %P 6 %T Formal verification of neural agents in non-deterministic environments. %U http://dblp.uni-trier.de/db/journals/aamas/aamas36.html#AkintundeBKL22 %V 36

@article{journals/aamas/AkintundeBKL22, added-at = {2021-12-27T00:00:00.000+0100}, author = {Akintunde, Michael E. and Botoeva, Elena and Kouvaros, Panagiotis and Lomuscio, Alessio}, biburl = {https://www.bibsonomy.org/bibtex/213372b74ce43bbcb23410e86fdd7505b/dblp}, ee = {https://doi.org/10.1007/s10458-021-09529-3}, interhash = {5d0d896ecdecda0829c28cb18a48bd8d}, intrahash = {13372b74ce43bbcb23410e86fdd7505b}, journal = {Auton. Agents Multi Agent Syst.}, keywords = {dblp}, number = 1, pages = 6, timestamp = {2024-04-08T12:42:37.000+0200}, title = {Formal verification of neural agents in non-deterministic environments.}, url = {http://dblp.uni-trier.de/db/journals/aamas/aamas36.html#AkintundeBKL22}, volume = 36, year = 2022 }