Sciweavers

32 search results - page 7 / 7
» Regression with Respect to Sensing Actions and Partial State...
Sort
View
ICRA
2008
IEEE
167views Robotics» more  ICRA 2008»
16 years 15 days ago
An approximate algorithm for solving oracular POMDPs
Abstract— We propose a new approximate algorithm, LAJIV (Lookahead J-MDP Information Value), to solve Oracular Partially Observable Markov Decision Problems (OPOMDPs), a special ...
Nicholas Armstrong-Crews, Manuela M. Veloso
IFM
2010
Springer
190views Formal Methods» more  IFM 2010»
15 years 4 months ago
On Model Checking Techniques for Randomized Distributed Systems
Abstract. The automata-based model checking approach for randomized distributed systems relies on an operational interleaving semantics of the system by means of a Markov decision ...
Christel Baier