Heck, L.; Macák, F.; Češka, M.; Junges, S. Constrained and Robust Policy Synthesis With Satisfiability-Modulo-Probabilistic-Model-Checking. AAAI 2026, 40, 36253-36261.