Joshua Riley

Utilising Assured Multi-Agent Reinforcement Learning within Safety-Critical Scenarios

Radu Calinescu, Daniel Kudenko, Alec Banks, 2021, KES.

Reinforcement Learning with Quantitative Verification for Assured Multi-Agent Policies

Radu Calinescu, Daniel Kudenko, Alec Banks, 2021, ICAART.