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

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: 02 Dec 2021 00:57
Status: Published
Refereed: No

Download

Filename: ICAART_2017_GRM.pdf

Description: ICAART_2017_GRM

Share / Export