Reinforcement Learning with Quantitative Verification for Assured Multi-Agent Policies

Joshua Riley, Radu Calinescu, Colin Paterson, Daniel Kudenko, Alec Banks

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Original languageEnglish
Title of host publication13th International Conference on Agents and Artificial Intelligence
Publication statusPublished - Feb 2021

Cite this