119 search results - page 17 / 24 » A Markov Reward Model Checker |
188
Voted
CORR
2007
Springer
15 years 6 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...
163
click to vote
TWC
2008
15 years 6 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...
214
click to vote
QEST
2010
IEEE
15 years 4 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...
166
click to vote
AAAI
1997
15 years 7 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...
164
click to vote
IROS
2006
IEEE
16 years 8 days 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...