POMDP
From MaRDI portal
Software:15737
swMATH3204MaRDI QIDQ15737FDOQ15737
Author name not available (Why is that?)
Cited In (27)
- Counterexample-guided inductive synthesis for probabilistic systems
- Enforcing almost-sure reachability in POMDPs
- The Complexity of Decentralized Control of Markov Decision Processes
- What is decidable about partially observable Markov decision processes with \(\omega\)-regular objectives
- Finding optimal memoryless policies of POMDPs under the expected average reward criterion
- On Decision Problems for Probabilistic Büchi Automata
- Theoretical tools for understanding and aiding dynamic decision making
- Verification and control of partially observable probabilistic systems
- A correctness result for synthesizing plans with loops in stochastic domains
- Heuristic anytime approaches to stochastic decision processes
- Markov Reward Models and Markov Decision Processes in Discrete and Continuous Time: Performance Evaluation and Optimization
- Title not available (Why is that?)
- Inverse optimization for assessing emerging technologies in breast cancer screening
- Verification and Control of Partially Observable Probabilistic Real-Time Systems
- Gradient-descent for randomized controllers under partial observability
- Cooperative decision-making to minimize biased perceived value effect on business process decisions using partially observable Markov decision processes
- Task-Aware Verifiable RNN-Based Policies for Partially Observable Markov Decision Processes
- Nonapproximability results for partially observable Markov decision processes
- Optimizing active surveillance for prostate cancer using partially observable Markov decision processes
- POMDPs under probabilistic semantics
- Partially Observable Markov Decision Processes: A Geometric Technique and Analysis
- Title not available (Why is that?)
- Title not available (Why is that?)
- An effective maintenance policy for a multi-component dynamic system using factored POMDPs
- Challenges of real-world reinforcement learning: definitions, benchmarks and analysis
- Training Beam Sequence Design for Millimeter-Wave MIMO Systems: A POMDP Framework
- Distributionally Robust Partially Observable Markov Decision Process with Moment-Based Ambiguity
This page was built for software: POMDP