HECK, Linus; MACÁK, Filip; ČEŠKA, Milan; JUNGES, Sebastian. Constrained and Robust Policy Synthesis with Satisfiability-Modulo-Probabilistic-Model-Checking. Proceedings of the AAAI Conference on Artificial Intelligence, [S. l.], v. 40, n. 43, p. 36253–36261, 2026. DOI: 10.1609/aaai.v40i43.40944. Disponível em: https://ojs.aaai.org/index.php/AAAI/article/view/40944. Acesso em: 19 may. 2026.