Pages that link to "Item:Q2958521"
From MaRDI portal
The following pages link to What is Decidable about Partially Observable Markov Decision Processes with omega-Regular Objectives. (Q2958521):
Displaying 14 items.
- What is decidable about partially observable Markov decision processes with \(\omega\)-regular objectives (Q269509) (← links)
- Probabilistic opacity for Markov decision processes (Q458386) (← links)
- CEGAR for compositional analysis of qualitative properties in Markov decision processes (Q746785) (← links)
- Randomness for free (Q897644) (← links)
- Verification and control of partially observable probabilistic systems (Q1699230) (← links)
- POMDPs under probabilistic semantics (Q2344358) (← links)
- Qualitative analysis of concurrent mean-payoff games (Q2346403) (← links)
- Verification and Control of Partially Observable Probabilistic Real-Time Systems (Q2945599) (← links)
- Graph Games and Reactive Synthesis (Q3176385) (← links)
- Finite-Memory Strategies in POMDPs with Long-Run Average Objectives (Q5076693) (← links)
- Distribution-based objectives for Markov Decision Processes (Q5145274) (← links)
- Partial-Observation Stochastic Games (Q5169972) (← links)
- Omega-Regular Objectives in Model-Free Reinforcement Learning (Q6091336) (← links)
- Robust almost-sure reachability in multi-environment MDPs (Q6535373) (← links)
