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]
Abstract is missing.