Reinforcement Learning with Quantitative Verification for Assured Multi-Agent Policies.

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

Browse the full ICAART paper archive.