Programming and Reasoning in Partially Observable Probabilistic Environments. - Tobias Gürtler; Benjamin Lucien Kaminski (CoRR, 2025)