Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%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
}