Qualitative analysis of probabilistic synchronizing systems

Markov decision processes (MDPs) are finite-state probabilistic systems with both strategic and random choices, hence well-established to model the interactions between a controller and its randomly responding environment. An MDP can be mathematically viewed as a one and half player stochastic game...

Full description

Bibliographic Details
Main Author: Shirmohammadi, Mahsa
Other Authors: Doyen, Laurent
Format: Doctoral Thesis
Language:en
Published: Universite Libre de Bruxelles 2014
Subjects:
Online Access:http://hdl.handle.net/2013/ULB-DIPOT:oai:dipot.ulb.ac.be:2013/209188