Pages that link to "Item:Q2344358"
From MaRDI portal
The following pages link to POMDPs under probabilistic semantics (Q2344358):
Displaying 16 items.
- Optimal cost almost-sure reachability in POMDPs (Q253969) (← links)
- What is decidable about partially observable Markov decision processes with \(\omega\)-regular objectives (Q269509) (← links)
- Further improvements of determinization methods for fuzzy finite automata (Q679810) (← links)
- CEGAR for compositional analysis of qualitative properties in Markov decision processes (Q746785) (← links)
- Enforcing almost-sure reachability in POMDPs (Q832296) (← links)
- Randomness for free (Q897644) (← links)
- Analyzing generalized planning under nondeterminism (Q2124464) (← links)
- Minimal disclosure in partially observable Markov decision processes (Q2911642) (← links)
- What is Decidable about Partially Observable Markov Decision Processes with omega-Regular Objectives. (Q2958521) (← links)
- Multiple-environment Markov decision processes (Q2978542) (← links)
- Elaboration Tolerant Representation of Markov Decision Process via Decision-Theoretic Extension of Probabilistic Action Language + (Q4957223) (← links)
- Finite-Memory Strategies in POMDPs with Long-Run Average Objectives (Q5076693) (← links)
- Parameter-Independent Strategies for pMDPs via POMDPs (Q6104800) (← links)
- Verification of Indefinite-Horizon POMDPs (Q6485882) (← links)
- Optimality guarantees for particle belief approximation of POMDPs (Q6488812) (← links)
- Stochastic games with lexicographic objectives (Q6632196) (← links)