Multi-weighted Markov Decision Processes with Reachability Objectives

In this paper, we are interested in the synthesis of schedulers in double-weighted Markov decision processes, which satisfy both a percentile constraint over a weighted reachability condition, and a quantitative constraint on the expected value of a random variable defined using a weighted reachabil...

Full description

Bibliographic Details
Main Authors: Patricia Bouyer, Mauricio González, Nicolas Markey, Mickael Randour
Format: Article
Language:English
Published: Open Publishing Association 2018-09-01
Series:Electronic Proceedings in Theoretical Computer Science
Online Access:http://arxiv.org/pdf/1809.03107v1

Similar Items