Pages that link to "Item:Q269509"
From MaRDI portal
The following pages link to What is decidable about partially observable Markov decision processes with \(\omega\)-regular objectives (Q269509):
Displaying 9 items.
- Optimal cost almost-sure reachability in POMDPs (Q253969) (← links)
- POMDPs under probabilistic semantics (Q2344358) (← links)
- Supervisor synthesis of POMDP via automata learning (Q2665148) (← links)
- What is Decidable about Partially Observable Markov Decision Processes with omega-Regular Objectives. (Q2958521) (← links)
- Scenario-Based Verification of Uncertain MDPs (Q5039513) (← links)
- Finite-Memory Strategies in POMDPs with Long-Run Average Objectives (Q5076693) (← links)
- Distribution-based objectives for Markov Decision Processes (Q5145274) (← links)
- Efficient sensor placement and online scheduling of bin collection (Q6109313) (← links)
- Robust almost-sure reachability in multi-environment MDPs (Q6535373) (← links)