19 search results - page 1 / 4 » Synthesis for PCTL in Parametric Markov Decision Processes |
NFM
2011
12 years 11 months ago
2011
Abstract. In parametric Markov Decision Processes (PMDPs), transition probabilities are not fixed, but are given as functions over a set of parameters. A PMDP denotes a family of ...
CDC
2009
IEEE
13 years 9 months ago
2009
IEEE
— We consider decision making in a Markovian setup where the reward parameters are not known in advance. Our performance criterion is the gap between the performance of the best ...
CONCUR
2007
Springer
13 years 10 months ago
2007
Springer
FSTTCS
2005
Springer
13 years 9 months ago
2005
Springer
ENTCS
2006
13 years 4 months ago
2006
In the past, partial order reduction has been used successfully to combat the state explosion problem in the context of model checking for non-probabilistic systems. For both line...