A Framework for the Competitive Analysis of Model Predictive Controllers. - Stijn Bellis; Joachim Denil; Ramesh Krishnamurthy; Tim Leys; Guillermo A. Pérez 001; Ritam Raha (RP, 2023)

Continuous One-counter Automata. - Michael Blondin; Tim Leys; Filip Mazowiecki; Philip Offtermatt; Guillermo A. Pérez 001 (ACM Trans. Comput. Log., 2023)

Inform: From Compartmental Models to Stochastic Bounded Counter Machines. - Tim Leys; Guillermo A. Pérez 001 (CoRR, 2024)

The geometry of reachability in continuous vector addition systems with states. - Shaull Almagor; Arka Ghosh 002; Tim Leys; Guillermo A. Pérez 001 (Inf. Comput., 2025)

Algorithms for Markov Binomial Chains. - Alejandro Alarcón Gonzalez; Niel Hens; Tim Leys; Guillermo A. Pérez 001 (Log. Methods Comput. Sci., 2025)