119 search results - page 17 / 24 » A Markov Reward Model Checker |
88
Voted
CORR
2007
Springer
14 years 9 months ago
2007
Springer
We consider a multi-channel opportunistic communication system where the states of these channels evolve as independent and statistically identical Markov chains (the Gilbert-Elli...
77
Voted
TWC
2008
14 years 9 months ago
2008
We consider a multi-channel opportunistic communication system where the states of these channels evolve as independent and statistically identical Markov chains (the Gilbert-Elli...
124
click to vote
QEST
2010
IEEE
14 years 7 months ago
2010
IEEE
We consider Markov Decision Processes (MDPs) as transformers on probability distributions, where with respect to a scheduler that resolves nondeterminism, the MDP can be seen as ex...
AAAI
1997
14 years 11 months ago
1997
Markov Decision Processes (MDPs), currently a popular method for modeling and solving decision theoretic planning problems, are limited by the Markovian assumption: rewards and dy...
85
Voted
IROS
2006
IEEE
15 years 3 months ago
2006
IEEE
— An important problem in robotics is planning and selecting actions for goal-directed behavior in noisy uncertain environments. The problem is typically addressed within the fra...