829 search results - page 18 / 166 » A time aggregation approach to Markov decision processes |
103
click to vote
UAI
2004
15 years 3 months ago
2004
We describe an approach for exploiting structure in Markov Decision Processes with continuous state variables. At each step of the dynamic programming, the state space is dynamica...
126
click to vote
QEST
2006
IEEE
15 years 8 months ago
2006
IEEE
LiQuor is a tool for verifying probabilistic reactive systems modelled Probmela programs, which are terms of a probabilistic guarded command language with an operational semantics...
129
Voted
ENTCS
2006
15 years 1 months ago
2006
In the past, partial order reduction has been used successfully to combat the state explosion problem in the context of model checking for non-probabilistic systems. For both line...
137
click to vote
IROS
2009
IEEE
15 years 8 months ago
2009
IEEE
— Partially Observable Markov Decision Processes (POMDPs) provide a rich mathematical model to handle realworld sequential decision processes but require a known model to be solv...
142
Voted
IJCAI
2001
15 years 3 months ago
2001
Although a partially observable Markov decision process (POMDP) provides an appealing model for problems of planning under uncertainty, exact algorithms for POMDPs are intractable...