Joshua Riley, Radu Calinescu, Colin Paterson, Daniel Kudenko, Alec Banks. Reinforcement Learning with Quantitative Verification for Assured Multi-Agent Policies. In Ana Paula Rocha 0001, Luc Steels, H. Jaap van den Herik, editors, Proceedings of the 13th International Conference on Agents and Artificial Intelligence, ICAART 2021, Volume 2, Online Streaming, February 4-6, 2021. pages 237-245, SCITEPRESS, 2021. [doi]
@inproceedings{RileyCPKB21,
title = {Reinforcement Learning with Quantitative Verification for Assured Multi-Agent Policies},
author = {Joshua Riley and Radu Calinescu and Colin Paterson and Daniel Kudenko and Alec Banks},
year = {2021},
doi = {10.5220/0010258102370245},
url = {https://doi.org/10.5220/0010258102370245},
researchr = {https://researchr.org/publication/RileyCPKB21},
cites = {0},
citedby = {0},
pages = {237-245},
booktitle = {Proceedings of the 13th International Conference on Agents and Artificial Intelligence, ICAART 2021, Volume 2, Online Streaming, February 4-6, 2021},
editor = {Ana Paula Rocha 0001 and Luc Steels and H. Jaap van den Herik},
publisher = {SCITEPRESS},
isbn = {978-989-758-484-8},
}