Evolutionary-Guided Synthesis of Verified Pareto-Optimal MDP Policies

Gerasimou, Simos, Camara Moreno, Javier orcid.org/0000-0001-6717-4775, Calinescu, Radu orcid.org/0000-0002-2678-9260 et al. (3 more authors) (2021) Evolutionary-Guided Synthesis of Verified Pareto-Optimal MDP Policies. In: 36th IEEE/ACM International Conference on Automated Software Engineering. .

Abstract

Metadata

Authors/Creators:
Dates:
  • Published (online): 31 August 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: 27 Sep 2021 10:50
Last Modified: 02 Nov 2021 00:57
Status: Published online
Refereed: No

Download

Filename: MDPPolicySynthesis_ASE2021.pdf

Description: MDPPolicySynthesis-ASE2021

Share / Export