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
- Markov reward models and Markov decision processes in discrete and continuous time: performance evaluation and optimization
- 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
- Verification and control of partially observable probabilistic real-time systems
- 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
- Distributionally robust partially observable Markov decision process with moment-based ambiguity
- Partially observable Markov decision processes: a geometric technique and analysis
- Title not available (Why is that?)
- Inverse optimization for assessing emerging technologies in breast cancer screening
- 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
- Nonapproximability results for partially observable Markov decision processes
- Optimizing active surveillance for prostate cancer using partially observable Markov decision processes
- POMDPs under probabilistic semantics
- 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
- Task-aware verifiable RNN-based policies for partially observable Markov decision processes
This page was built for software: POMDP