Scenario-Based Verification of Uncertain MDPs

We consider Markov decision processes (MDPs) in which the transition probabilities and rewards belong to an uncertainty set parametrized by a collection of random variables. The probability distributions for these random parameters are unknown. The problem is to compute the probability to satisfy a...

Full description

Bibliographic Details

Published in:	Tools and algorithms for the construction and analysis of systems : 26th International Conference, TACAS 2020, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30 Vol. 12078; p. 287
Main Authors:	Cubuktepe, Murat, Jansen, Nils, Junges, Sebastian, Katoen, Joost-Pieter, Topcu, Ufuk
Format:	Journal Article
Language:	English
Published:	Switzerland 01.04.2020
Subjects:	MDP Uncertainty Verification Scenario optimisation
Online Access:	Get more information
Tags:	Add Tag No Tags, Be the first to tag this record!