325 search results - page 2 / 65 » Structured Reachability Analysis for Markov Decision Process... |
105
Voted
MFCS
2010
Springer
14 years 10 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...
LICS
2009
IEEE
15 years 6 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...
CONCUR
2006
Springer
15 years 3 months ago
2006
Springer
129
click to vote
PE
2011
Springer
14 years 7 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...
125
Voted
AIPS
2004
15 years 1 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...