Pages that link to "Item:Q814465"
From MaRDI portal
The following pages link to On the undecidability of probabilistic planning and related stochastic optimization problems (Q814465):
Displaying 28 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)
- Exploiting symmetries for single- and multi-agent partially observable stochastic domains (Q456732) (← links)
- Verification and control of partially observable probabilistic systems (Q1699230) (← links)
- On the computability of Solomonoff induction and AIXI (Q1704559) (← links)
- The complexity of synchronizing Markov decision processes (Q1740670) (← links)
- Bisimulation metrics and norms for real-weighted automata (Q2064519) (← links)
- Decidability and complexity of action-based temporal planning over dense time (Q2124463) (← links)
- Gradient-descent for randomized controllers under partial observability (Q2152644) (← links)
- A survey of partial-observation stochastic parity games (Q2248075) (← links)
- POMDPs under probabilistic semantics (Q2344358) (← links)
- Distributed probabilistic input/output automata: expressiveness, (un)decidability and algorithms (Q2453112) (← links)
- Optimal supervisory control with mean payoff objectives and under partial observation (Q2662323) (← links)
- Recursive Markov Decision Processes and Recursive Stochastic Games (Q2796398) (← links)
- Verification and Control of Partially Observable Probabilistic Real-Time Systems (Q2945599) (← links)
- Stochastization of Weighted Automata (Q2946327) (← links)
- The Effect of Tossing Coins in Omega-Automata (Q3184662) (← links)
- Probabilistic Acceptors for Languages over Infinite Words (Q3599062) (← links)
- THE FRONTIER OF DECIDABILITY IN PARTIALLY OBSERVABLE RECURSIVE GAMES (Q4923289) (← links)
- Finite-Memory Strategies in POMDPs with Long-Run Average Objectives (Q5076693) (← links)
- On Decision Problems for Probabilistic Büchi Automata (Q5458366) (← links)
- Robust almost-sure reachability in multi-environment MDPs (Q6535373) (← links)
- Under-approximating expected total rewards in POMDPs (Q6535603) (← links)
- Search and explore: symbiotic policy synthesis in POMDPs (Q6535683) (← links)
- Positivity-hardness results on Markov decision processes (Q6566469) (← links)
- Regular decision processes (Q6566638) (← links)
- Cyber vulnerability maintenance policies that address the incomplete nature of inspection (Q6574640) (← links)
- Stochastic games with synchronizing objectives (Q6649478) (← links)
