Reinforcement Learning with Quantitative Verification for Assured Multi-Agent Policies

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.

Metadata

Item Type: Proceedings Paper
Authors/Creators:
Dates:
  • Accepted: 12 November 2020
  • Published: February 2021
Institution: The University of York
Academic Units: The University of York > Faculty of Sciences (York) > Computer Science (York)
Depositing User: Pure (York)
Date Deposited: 30 Nov 2020 13:00
Last Modified: 17 Sep 2025 04:41
Status: Published
Open Archives Initiative ID (OAI ID):

Download

Accepted Version

Filename: ICAART_2021.pdf

Description: ICAART_2021

CLICK TO DOWNLOAD [thumbnail of ICAART_2021]

Export

Statistics


CORE (COnnecting REpositories)