8 search results - page 1 / 2 » Strategy Synthesis for Markov Decision Processes and Branchi... |
62
Voted
CONCUR
2007
Springer
15 years 4 months ago
2007
Springer
95
Voted
ENTCS
2006
14 years 10 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...
STACS
2007
Springer
15 years 4 months ago
2007
Springer
Markov decision processes (MDPs) are controllable discrete event systems with stochastic transitions. Performances of an MDP are evaluated by a payoff function. The controller of ...
87
Voted
LICS
2007
IEEE
15 years 4 months ago
2007
IEEE
Markov decision processes (MDPs) are controllable discrete event systems with stochastic transitions. The payoff received by the controller can be evaluated in different ways, dep...
98
Voted
CCE
2005
14 years 10 months ago
2005
Process network problems can be formulated as Generalized Disjunctive Programs where a logicbased representation is used to deal with the discrete and continuous decisions. A new ...