21 search results - page 1 / 5 » Markov Decision Processes with Multiple Long-Run Average Obj... |
FSTTCS
2007
Springer
13 years 11 months ago
2007
Springer
QEST
2010
IEEE
13 years 2 months ago
2010
IEEE
Abstract--Model checkers for concurrent probabilistic systems have become very popular within the last decade. The study of long-run average behavior has however received only scan...
FSTTCS
2010
Springer
13 years 2 months ago
2010
Springer
We study the computational complexity of basic decision problems for one-counter simple stochastic games (OC-SSGs), under various objectives. OC-SSGs are 2-player turn-based stoch...
LICS
2007
IEEE
13 years 11 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...
DMIN
2009
13 years 2 months ago
2009
Typical methods in CRM marketing include action selection on the basis of Markov Decision Processes with fixed transition probabilities on the one hand, and scoring customers separ...