Author:
Winterer Leonore,Wimmer Ralf,Jansen Nils,Becker Bernd
Publisher
Springer International Publishing
Reference43 articles.
1. Amato, C., Bernstein, D.S., Zilberstein, S.: Optimizing fixed-size stochastic controllers for POMDPs and decentralized POMDPs. Auton. Agent. Multi-Agent Syst. 21(3), 293–320 (2010). https://doi.org/10.1007/s10458-009-9103-z
2. Aras, R., Dutech, A., Charpillet, F.: Mixed integer linear programming for exact finite-horizon planning in decentralized POMDPs. In: ICAPS, pp. 18–25. AAAI (2007). http://www.aaai.org/Library/ICAPS/2007/icaps07-003.php
3. Baier, C., Dubslaff, C., Klüppelholz, S.: Trade-off analysis meets probabilistic model checking. In: CSL-LICS, pp. 1:1–1:10. ACM (2014). https://doi.org/10.1145/2603088.2603089
4. Baier, C., Katoen, J.P.: Principles of Model Checking. MIT Press, Cambridge (2008)
5. Braziunas, D.: POMDP Solution Methods. University of Toronto (2003)
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Strong Simple Policies for POMDPs;International Journal on Software Tools for Technology Transfer;2024-06
2. Model Checking for Probabilistic Multiagent Systems;Journal of Computer Science and Technology;2023-09
3. Gradient-Descent for Randomized Controllers Under Partial Observability;Lecture Notes in Computer Science;2022
4. Enforcing Almost-Sure Reachability in POMDPs;Computer Aided Verification;2021