Reinforcement Learning with Quantitative Verification for Assured Multi-Agent Policies
Joshua Riley, R. Calinescu, Colin Paterson, D. Kudenko, Alec Banks
International Conference on Agents and Artificial Intelligence