Pérez, Guillermo A.

4 publications

AAAI 2025 Revelations: A Decidable Class of POMDPs with Omega-Regular Objectives Marius Belly, Nathanaël Fijalkow, Hugo Gimbert, Florian Horn, Guillermo A. Pérez, Pierre Vandenhove

AAAI 2022 Distillation of RL Policies with Formal Guarantees via Variational Abstraction of Markov Decision Processes Florent Delgrange, Ann Nowé, Guillermo A. Pérez

AAAI 2017 Optimizing Expectation with Guarantees in POMDPs Krishnendu Chatterjee, Petr Novotný, Guillermo A. Pérez, Jean-François Raskin, Dorde Zikelic

IJCAI 2017 Reduction Techniques for Model Checking and Learning in MDPs Suda Bharadwaj, Stéphane Le Roux, Guillermo A. Pérez, Ufuk Topcu