Cargando…

Simple Strategies in Multi-Objective MDPs

We consider the verification of multiple expected reward objectives at once on Markov decision processes (MDPs). This enables a trade-off analysis among multiple objectives by obtaining a Pareto front. We focus on strategies that are easy to employ and implement. That is, strategies that are pure (n...

Descripción completa

Detalles Bibliográficos
Autores principales: Delgrange, Florent, Katoen, Joost-Pieter, Quatmann, Tim, Randour, Mickael
Formato: Online Artículo Texto
Lenguaje:English
Publicado: 2020
Materias:
Acceso en línea:https://www.ncbi.nlm.nih.gov/pmc/articles/PMC7439746/
http://dx.doi.org/10.1007/978-3-030-45190-5_19