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)

On Continuous Pushdown VASS in One Dimension. - Guillermo A. Pérez 001; Shrisha Rao 002 (CONCUR, 2024)

Continuous Pushdown VASS in One Dimension are Easy. - Guillermo A. Pérez 001; Shrisha Rao 002 (CoRR, 2024)

Data Structures for Finite Downsets of Natural Vectors: Theory and Practice. - Michaël Cadilhac; Vanessa Flügel; Guillermo A. Pérez 001; Shrisha Rao 002 (CoRR, 2025)