91 search results - page 18 / 19 » Magnifying-Lens Abstraction for Markov Decision Processes |
VTC
2008
IEEE
14 years 2 months ago
2008
IEEE
Abstract— In this paper, we propose a way of achieving optimality in radio resource management (RRM) for heterogeneous networks. We consider a micro or femto cell with two co-loc...
ROBOCUP
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. Two main challenges of robot action planning in real domains are uncertain action effects and dynamic environments. In this paper, an instance-based action model is lear...
QEST
2006
IEEE
14 years 1 months ago
2006
IEEE
Abstract— This paper reports on our efforts to link an industrial state-of-the-art modelling tool to academic state-of-the-art analysis algorithms. In a nutshell, we enable timed...
CISS
2008
IEEE
14 years 2 months ago
2008
IEEE
Abstract—We consider adapting the transmission rate to maximize the goodput, i.e., the amount of data transmitted without error, over a continuous Markov flat-fading wireless ch...
QEST
2007
IEEE
14 years 1 months 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 ...