L. Heck, F. Macák, M. Češka, and S. Junges, “Constrained and Robust Policy Synthesis with Satisfiability-Modulo-Probabilistic-Model-Checking”, AAAI, vol. 40, no. 43, pp. 36253–36261, Mar. 2026.