A carregar...

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...

ver descrição completa

Na minha lista:
Detalhes bibliográficos
Publicado no:Tools and Algorithms for the Construction and Analysis of Systems
Main Authors: Delgrange, Florent, Katoen, Joost-Pieter, Quatmann, Tim, Randour, Mickael
Formato: Artigo
Idioma:Inglês
Publicado em: 2020
Assuntos:
Acesso em linha:https://ncbi.nlm.nih.gov/pmc/articles/PMC7439746/
https://ncbi.nlm.nih.govhttp://dx.doi.org/10.1007/978-3-030-45190-5_19
Tags: Adicionar Tag
Sem tags, seja o primeiro a adicionar uma tag!