Evolutionary-Guided Synthesis of Verified Pareto-Optimal MDP Policies

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

Abstract

Metadata

Item Type: Proceedings Paper
Authors/Creators:
Dates:
  • Published: 20 January 2022
  • Published (online): 31 August 2021
Institution: The University of York
Academic Units: The University of York > Faculty of Sciences (York) > Computer Science (York)
Funding Information:
Funder
Grant number
EPSRC
EP/V026747/1
Depositing User: Pure (York)
Date Deposited: 27 Sep 2021 10:50
Last Modified: 07 Mar 2025 00:02
Published Version: https://doi.org/10.1109/ASE51524.2021.9678727
Status: Published
Publisher: IEEE
Identification Number: 10.1109/ASE51524.2021.9678727
Open Archives Initiative ID (OAI ID):

Download

Filename: MDPPolicySynthesis_ASE2021.pdf

Description: MDPPolicySynthesis-ASE2021

Export

Statistics