325 search results - page 2 / 65 » Structured Reachability Analysis for Markov Decision Process... |
138
Voted
MFCS
2010
Springer
15 years 2 months ago
2010
Springer
We study observation-based strategies for partially-observable Markov decision processes (POMDPs) with parity objectives. An observationbased strategy relies on partial information...
122
click to vote
LICS
2009
IEEE
15 years 10 months ago
2009
IEEE
—We associate a statistical vector to a trace and a geometrical embedding to a Markov Decision Process, based on a distance on words, and study basic Membership and Equivalence p...
104
Voted
CONCUR
2006
Springer
15 years 7 months ago
2006
Springer
161
Voted
PE
2011
Springer
14 years 10 months ago
2011
Springer
Structured QBDs by Abstraction Daniel Klink, Anne Remke, Boudewijn R. Haverkort, Fellow, IEEE, and Joost-Pieter Katoen, Member, IEEE Computer Society —This paper studies quantita...
168
click to vote
AIPS
2004
15 years 5 months ago
2004
The problem of optimal policy formulation for teams of resource-limited agents in stochastic environments is composed of two strongly-coupled subproblems: a resource allocation pr...