| 2026 | CONCUR | On the Complexity of Robust Markov Decision Processes and Bisimulation Metrics. | Marnix Suilen, Guillermo A. Prez |
| 2026 | DLT | Visibly Recursive Automata. | Kvin Dubrulle, Vronique Bruyre, Guillermo A. Prez, Gatan Staquet |
| 2025 | AAAI | Revelations: A Decidable Class of POMDPs with Omega-Regular Objectives. | Marius Belly, Nathanal Fijalkow, Hugo Gimbert, Florian Horn, Guillermo A. Prez, Pierre Vandenhove |
| 2025 | ATVA | Data Structures for Finite Downsets of Natural Vectors: Theory and Practice. | Michal Cadilhac, Vanessa Flgel, Guillermo A. Prez, Shrisha Rao |
| 2025 | ECAI | Data-Efficient Safe Policy Improvement Using Parametric Structure. | Kasper Engelen, Guillermo A. Prez, Marnix Suilen |
| 2024 | CONCUR | On Continuous Pushdown VASS in One Dimension. | Guillermo A. Prez, Shrisha Rao |
| 2024 | ICLR | The Wasserstein Believer: Learning Belief Updates for Partially Observable Environments through Reliable Latent Space Models. | Raphal Avalos, Florent Delgrange, Ann Now, Guillermo A. Prez, Diederik M. Roijers |
| 2024 | SODA | Integer Programming with GCD Constraints. | Rmy Dfossez, Christoph Haase, Alessio Mansutti, Guillermo A. Prez |
| 2024 | VMCAI | Synthesizing Efficiently Monitorable Formulas in Metric Temporal Logic. | Ritam Raha, Rajarshi Roy, Nathanal Fijalkow, Daniel Neider, Guillermo A. Prez |
| 2023 | ATVA | Bi-objective Lexicographic Optimization in Markov Decision Processes with Related Objectives. | Damien Busatto-Gaston, Debraj Chakraborty, Anirban Majumdar, Sayan Mukherjee, Guillermo A. Prez, Jean-Franois Raskin |
| 2023 | ATVA | Graph-Based Reductions for Parametric and Weighted MDPs. | Kasper Engelen, Guillermo A. Prez, Shrisha Rao |
| 2023 | ICAART | Targeted Adversarial Attacks on Deep Reinforcement Learning Policies via Model Checking. | Dennis Gross, Thiago D. Simo, Nils Jansen, Guillermo A. Prez |
| 2023 | ICLR | Wasserstein Auto-encoded MDPs: Formal Verification of Efficiently Distilled RL Policies with Many-sided Guarantees. | Florent Delgrange, Ann Now, Guillermo A. Prez |
| 2023 | MFCS | The Geometry of Reachability in Continuous Vector Addition Systems with States. | Shaull Almagor, Arka Ghosh, Tim Leys, Guillermo A. Prez |
| 2023 | MFCS | Parikh One-Counter Automata. | Michal Cadilhac, Arka Ghosh, Guillermo A. Prez, Ritam Raha |
| 2023 | TACAS | Validating Streaming JSON Documents with Learned VPAs. | Vronique Bruyre, Guillermo A. Prez, Gatan Staquet |
| 2023 | TACAS | Acacia-Bonsai: A Modern Implementation of Downset-Based LTL Realizability. | Michal Cadilhac, Guillermo A. Prez |
| 2022 | AAAI | Distillation of RL Policies with Formal Guarantees via Variational Abstraction of Markov Decision Processes. | Florent Delgrange, Ann Now, Guillermo A. Prez |
| 2022 | CSL | Revisiting Parameter Synthesis for One-Counter Automata. | Guillermo A. Prez, Ritam Raha |
| 2022 | SETTA | COOL-MC: A Comprehensive Tool for Reinforcement Learning and Model Checking. | Dennis Gross, Nils Jansen, Sebastian Junges, Guillermo A. Prez |
| 2022 | TACAS | Learning Realtime One-Counter Automata. | Vronique Bruyre, Guillermo A. Prez, Gatan Staquet |
| 2021 | DLT | Active Learning of Sequential Transducers with Side Information About the Domain. | Raphal Berthon, Adrien Boiret, Guillermo A. Prez, Jean-Franois Raskin |
| 2021 | ICML | Let's Agree to Degree: Comparing Graph Convolutional Networks in the Message-Passing Framework. | Floris Geerts, Filip Mazowiecki, Guillermo A. Prez |
| 2021 | LICS | Continuous One-Counter Automata. | Michael Blondin, Tim Leys, Filip Mazowiecki, Philip Offtermatt, Guillermo A. Prez |
| 2020 | ATVA | Robustness Verification for Classifier Ensembles. | Dennis Gross, Nils Jansen, Guillermo A. Prez, Stephan Raaijmakers |
| 2020 | CONCUR | Coverability in 1-VASS with Disequality Tests. | Shaull Almagor, Nathann Cohen, Guillermo A. Prez, Mahsa Shirmohammadi, James Worrell |
| 2020 | UAI | Finite-Memory Near-Optimal Learning for Markov Decision Processes with Long-Run Average Reward. | Jan Kretnsk, Fabian Michel, Lukas Michel, Guillermo A. Prez |
| 2019 | CONCUR | On the Complexity of Reachability in Parametric Markov Decision Processes. | Tobias Winkler, Sebastian Junges, Guillermo A. Prez, Joost-Pieter Katoen |
| 2019 | FOSSACS | The Impatient May Use Limited Optimism to Minimize Regret. | Michal Cadilhac, Guillermo A. Prez, Marie van den Bogaard |
| 2019 | ICALP | On the Complexity of Value Iteration. | Nikhil Balaji, Stefan Kiefer, Petr Novotn, Guillermo A. Prez, Mahsa Shirmohammadi |
| 2018 | CONCUR | Learning-Based Mean-Payoff Optimization in an Unknown MDP under Omega-Regular Constraints. | Jan Kretnsk, Guillermo A. Prez, Jean-Franois Raskin |
| 2018 | DLT | Weak Cost Register Automata Are Still Powerful. | Shaull Almagor, Michal Cadilhac, Filip Mazowiecki, Guillermo A. Prez |
| 2018 | FOSSACS | The Complexity of Graph-Based Reductions for Reachability in Markov Decision Processes. | Stphane Le Roux, Guillermo A. Prez |
| 2018 | ICALP | When is Containment Decidable for Probabilistic Automata?. | Laure Daviaud, Marcin Jurdzinski, Ranko Lazic, Filip Mazowiecki, Guillermo A. Prez, James Worrell |
| 2017 | AAAI | Optimizing Expectation with Guarantees in POMDPs. | Krishnendu Chatterjee, Petr Novotn, Guillermo A. Prez, Jean-Franois Raskin, Dorde Zikelic |
| 2017 | IJCAI | Reduction Techniques for Model Checking and Learning in MDPs. | Suda Bharadwaj, Stphane Le Roux, Guillermo A. Prez, Ufuk Topcu |
| 2017 | LICS | On delay and regret determinization of max-plus automata. | Emmanuel Filiot, Ismal Jecker, Nathan Lhote, Guillermo A. Prez, Jean-Franois Raskin |
| 2016 | CSL | Minimizing Regret in Discounted-Sum Games. | Paul Hunter, Guillermo A. Prez, Jean-Franois Raskin |
| 2016 | LATA | Non-Zero Sum Games for Reactive Synthesis. | Romain Brenguier, Lorenzo Clemente, Paul Hunter, Guillermo A. Prez, Mickael Randour, Jean-Franois Raskin, Ocan Sankur, Mathieu Sassolas |
| 2015 | ATVA | Looking at Mean-Payoff Through Foggy Windows. | Paul Hunter, Guillermo A. Prez, Jean-Franois Raskin |
| 2015 | CONCUR | Reactive Synthesis Without Regret. | Paul Hunter, Guillermo A. Prez, Jean-Franois Raskin |
| 2012 | CASES | A hybrid just-in-time compiler for android: comparing JIT types and the result of cooperation. | Guillermo A. Prez, Chung-Min Kao, Yeh-Ching Chung, Wei-Chung Hsu |
| 2011 | CASES | A method-based ahead-of-time compiler for android applications. | Chih-Sheng Wang, Guillermo A. Prez, Yeh-Ching Chung, Wei-Chung Hsu, Wei-Kuan Shih, Hong-Rong Hsu |