Items where authors include "Riley, Joshua"

Conference or Workshop Item

Riley, Joshua orcid.org/0000-0002-9403-3705 (2020) Assured Multi-Agent Reinforcement Learning Using Quantitative Verification. In: DCAART 2021, 04-06 Feb 2021, Online. (Submitted)

Proceedings Paper

Riley, Joshua, Calinescu, Radu orcid.org/0000-0002-2678-9260, Paterson, Colin orcid.org/0000-0002-6678-3752 et al. (2 more authors) (2021) Reinforcement Learning with Quantitative Verification for Assured Multi-Agent Policies. In: 13th International Conference on Agents and Artificial Intelligence. UNSPECIFIED. .