Graph-Based Reductions for Parametric and Weighted MDPs. - Kasper Engelen; Guillermo A. Pérez 001; Shrisha Rao 002 (ATVA (1), 2023)

Analyzing Value Functions of States in Parametric Markov Chains. - Kasper Engelen; Guillermo A. Pérez 001; Shrisha Rao 002 (Principles of Verification (2), 2024)

Data-Efficient Safe Policy Improvement Using Parametric Structure. - Kasper Engelen; Guillermo A. Pérez 001; Marnix Suilen (CoRR, 2025)