109 search results - page 14 / 22 » Model Checking Markov Reward Models with Impulse Rewards |
112
click to vote
TWC
2008
15 years 1 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...
133
click to vote
QEST
2010
IEEE
14 years 11 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...
156
click to vote
CORR
2009
Springer
14 years 11 months ago
2009
Springer
Abstract. We apply Uppaal Tiga to automatically compute adaptive scheduling strategies for an industrial case study dealing with a state-of-the-art image processing pipeline of a p...
140
click to vote
NIPS
2007
15 years 3 months ago
2007
Bayesian Reinforcement Learning has generated substantial interest recently, as it provides an elegant solution to the exploration-exploitation trade-off in reinforcement learning...
116
click to vote
AAAI
2008
15 years 4 months ago
2008
Partially Observable Markov Decision Processes have been studied widely as a model for decision making under uncertainty, and a number of methods have been developed to find the s...