Assured Reinforcement Learning with Formally Verified Abstract Policies

Mason, George Rupert, Calinescu, Radu Constantin orcid.org/0000-0002-2678-9260, Kudenko, Daniel orcid.org/0000-0003-3359-3255 et al. (1 more author) (2017) Assured Reinforcement Learning with Formally Verified Abstract Policies. In: 9th International Conference on Agents and Artificial Intelligence (ICAART).

Metadata

Item Type: Proceedings Paper
Authors/Creators:
Dates:
  • Accepted: 2016
  • Published: 2017
Institution: The University of York
Academic Units: The University of York > Faculty of Sciences (York) > Computer Science (York)
Depositing User: Pure (York)
Date Deposited: 05 Jan 2017 17:28
Last Modified: 20 Sep 2025 02:36
Status: Published
Open Archives Initiative ID (OAI ID):

Download

Accepted Version

Filename: ICAART_2017_GRM.pdf

Description: ICAART_2017_GRM

CLICK TO DOWNLOAD [thumbnail of ICAART_2017_GRM]

Export

Statistics


CORE (COnnecting REpositories)