119 search results - page 20 / 24 » A Markov Reward Model Checker |
AIPS
2007
13 years 9 months ago
2007
This paper summarizes research on a new emerging framework for learning to plan using the Markov decision process model (MDP). In this paradigm, two approaches to learning to plan...
ATAL
2004
Springer
14 years 3 days ago
2004
Springer
The problem of interest is how to dynamically allocate wireless access services in a competitive market which implements a take-it-or-leave-it allocation mechanism. In this paper ...
QEST
2007
IEEE
14 years 29 days ago
2007
IEEE
We give an overview of GRIP, a symmetry reduction tool for the probabilistic model checker PRISM, together with experimental results for a selection of example specifications. 1 ...
BROADNETS
2004
IEEE
13 years 10 months ago
2004
IEEE
The scarcity and large fluctuations of link bandwidth in wireless networks have motivated the development of adaptive multimedia services in mobile communication networks, where i...
QEST
2006
IEEE
14 years 21 days ago
2006
IEEE
The time-bounded reachability problem for continuoustime Markov chains (CTMCs) amounts to determine the probability to reach a (set of) goal state(s) within a given time span, suc...