Guillermo A. Pérez

ORCID

Publication Activity (10 Years)

Years Active: 2011-2024
Publications (10 Years): 107

Top Venues

CoRR

CONCUR

SYNT

Publications

Raphaël Avalos, Florent Delgrange, Ann Nowé, Guillermo A. Pérez, Diederik M. Roijers
The Wasserstein Believer: Learning Belief Updates for Partially Observable Environments through Reliable Latent Space Models. ICLR (2024)
Guillermo A. Pérez, Shrisha Rao
On Continuous Pushdown VASS in One Dimension. CONCUR (2024)
Ritam Raha, Rajarshi Roy, Nathanaël Fijalkow, Daniel Neider, Guillermo A. Pérez
Synthesizing Efficiently Monitorable Formulas in Metric Temporal Logic. VMCAI (2) (2024)
Rémy Défossez, Christoph Haase, Alessio Mansutti, Guillermo A. Pérez
Integer Programming with GCD Constraints. SODA (2024)
Guillermo A. Pérez, Shrisha Rao
Continuous Pushdown VASS in One Dimension are Easy. CoRR (2024)
Véronique Bruyère, Bharat Garhewal, Guillermo A. Pérez, Gaëtan Staquet, Frits W. Vaandrager
Active Learning of Mealy Machines with Timers. CoRR (2024)
Florent Delgrange, Guy Avni, Anna Lukina, Christian Schilling, Ann Nowé, Guillermo A. Pérez
Synthesis of Hierarchical Controllers Based on Deep Reinforcement Learning Policies. CoRR (2024)
Véronique Bruyère, Guillermo A. Pérez, Gaëtan Staquet, Frits W. Vaandrager
Automata with Timers. CoRR (2023)
Damien Busatto-Gaston, Debraj Chakraborty, Anirban Majumdar, Sayan Mukherjee, Guillermo A. Pérez, Jean-François Raskin
Bi-objective Lexicographic Optimization in Markov Decision Processes with Related Objectives. ATVA (1) (2023)
Véronique Bruyère, Guillermo A. Pérez, Gaëtan Staquet, Frits W. Vaandrager
Automata with Timers. FORMATS (2023)
Véronique Bruyère, Guillermo A. Pérez, Gaëtan Staquet
Validating Streaming JSON Documents with Learned VPAs. TACAS (1) (2023)
Stijn Bellis, Joachim Denil, Ramesh Krishnamurthy, Tim Leys, Guillermo A. Pérez, Ritam Raha
A Framework for the Competitive Analysis of Model Predictive Controllers. RP (2023)
Raphaël Avalos, Florent Delgrange, Ann Nowé, Guillermo A. Pérez, Diederik M. Roijers
The Wasserstein Believer: Learning Belief Updates for Partially Observable Environments through Reliable Latent Space Models. CoRR (2023)
Damien Busatto-Gaston, Debraj Chakraborty, Anirban Majumdar, Sayan Mukherjee, Guillermo A. Pérez, Jean-François Raskin
Bi-Objective Lexicographic Optimization in Markov Decision Processes with Related Objectives. CoRR (2023)
Ritam Raha, Rajarshi Roy, Nathanaël Fijalkow, Daniel Neider, Guillermo A. Pérez
Synthesizing Efficiently Monitorable Formulas in Metric Temporal Logic. CoRR (2023)
Debraj Chakraborty, Damien Busatto-Gaston, Jean-François Raskin, Guillermo A. Pérez
Formally-Sharp DAgger for MCTS: Lower-Latency Monte Carlo Tree Search using Data Aggregation with Formal Methods. AAMAS (2023)
Michaël Cadilhac, Guillermo A. Pérez
Acacia-Bonsai: A Modern Implementation of Downset-Based LTL Realizability. TACAS (2) (2023)
Shaull Almagor, Arka Ghosh, Tim Leys, Guillermo A. Pérez
The Geometry of Reachability in Continuous Vector Addition Systems with States. MFCS (2023)
Dennis Gross, Christoph Schmidl, Nils Jansen, Guillermo A. Pérez
Model Checking for Adversarial Multi-Agent Reinforcement Learning with Reactive Defense Methods. ICAPS (2023)
Florent Delgrange, Ann Nowé, Guillermo A. Pérez
Wasserstein Auto-encoded MDPs: Formal Verification of Efficiently Distilled RL Policies with Many-sided Guarantees. ICLR (2023)
Nathanaël Fijalkow, Bernd Finkbeiner, Guillermo A. Pérez, Elizabeth Polgreen, Rémi Morvan
The Futures of Reactive Synthesis (Dagstuhl Seminar 23391). Dagstuhl Reports 13 (9) (2023)
Kasper Engelen, Guillermo A. Pérez, Shrisha Rao
Graph-Based Reductions for Parametric and Weighted MDPs. ATVA (1) (2023)
Kasper Engelen, Guillermo A. Pérez, Shrisha Rao
Graph-Based Reductions for Parametric and Weighted MDPs. CoRR (2023)
Michaël Cadilhac, Arka Ghosh, Guillermo A. Pérez, Ritam Raha
Parikh One-Counter Automata. MFCS (2023)
Debraj Chakraborty, Damien Busatto-Gaston, Jean-François Raskin, Guillermo A. Pérez
Formally-Sharp DAgger for MCTS: Lower-Latency Monte Carlo Tree Search using Data Aggregation with Formal Methods. CoRR (2023)
Florent Delgrange, Ann Nowé, Guillermo A. Pérez
Wasserstein Auto-encoded MDPs: Formal Verification of Efficiently Distilled RL Policies with Many-sided Guarantees. CoRR (2023)
Dennis Gross, Thiago D. Simão, Nils Jansen, Guillermo A. Pérez
Targeted Adversarial Attacks on Deep Reinforcement Learning Policies via Model Checking. ICAART (3) (2023)
Michael Blondin, Tim Leys, Filip Mazowiecki, Philip Offtermatt, Guillermo A. Pérez
Continuous One-counter Automata. ACM Trans. Comput. Log. 24 (1) (2023)
Dennis Gross, Thiago D. Simão, Nils Jansen, Guillermo A. Pérez
Targeted Adversarial Attacks on Deep Reinforcement Learning Policies via Model Checking. CoRR (2022)
Florent Delgrange, Ann Nowé, Guillermo A. Pérez
Distillation of RL Policies with Formal Guarantees via Variational Abstraction of Markov Decision Processes. AAAI (2022)
Véronique Bruyère, Guillermo A. Pérez, Gaëtan Staquet
Learning Realtime One-Counter Automata. TACAS (1) (2022)
Swen Jacobs, Guillermo A. Pérez, Remco Abraham, Véronique Bruyère, Michaël Cadilhac, Maximilien Colange, Charly Delfosse, Tom van Dijk, Alexandre Duret-Lutz, Peter Faymonville, Bernd Finkbeiner, Ayrat Khalimov, Felix Klein, Michael Luttenberger, Klara J. Meyer, Thibaud Michaud, Adrien Pommellet, Florian Renkin, Philipp Schlehuber-Caissier, Mouhammad Sakr, Salomon Sickert, Gaëtan Staquet, Clément Tamines, Leander Tentrup, Adam Walker
The Reactive Synthesis Competition (SYNTCOMP): 2018-2021. CoRR (2022)
Dennis Gross, Nils Jansen, Sebastian Junges, Guillermo A. Pérez
COOL-MC: A Comprehensive Tool for Reinforcement Learning and Model Checking. SETTA (2022)
Michaël Cadilhac, Guillermo A. Pérez
Acacia-Bonsai: A Modern Implementation of Downset-Based LTL Realizability. CoRR (2022)
Shaull Almagor, Arka Ghosh, Tim Leys, Guillermo A. Pérez
The Geometry of Reachability in Continuous Vector Addition Systems with States. CoRR (2022)
Dennis Gross, Nils Jansen, Sebastian Junges, Guillermo A. Pérez
COOL-MC: A Comprehensive Tool for Reinforcement Learning and Model Checking. CoRR (2022)
Guillermo A. Pérez, Ritam Raha
Revisiting Parameter Synthesis for One-Counter Automata. CSL (2022)
Paul Hunter, Guillermo A. Pérez, Jean-François Raskin
Correction to: Reactive synthesis without regret. Acta Informatica 59 (5) (2022)
Véronique Bruyère, Guillermo A. Pérez, Gaëtan Staquet
Validating Streaming JSON Documents with Learned VPAs. CoRR (2022)
Michael Blondin, Tim Leys, Filip Mazowiecki, Philip Offtermatt, Guillermo A. Pérez
Continuous One-Counter Automata. CoRR (2021)
Raphaël Berthon, Adrien Boiret, Guillermo A. Pérez, Jean-François Raskin
Active Learning of Sequential Transducers with Side Information About the Domain. DLT (2021)
Damien Busatto-Gaston, Debraj Chakraborty, Shibashis Guha, Guillermo A. Pérez, Jean-François Raskin
Safe Learning for Near-Optimal Scheduling. QEST (2021)
Floris Geerts, Filip Mazowiecki, Guillermo A. Pérez
Let's Agree to Degree: Comparing Graph Convolutional Networks in the Message-Passing Framework. ICML (2021)
Laure Daviaud, Marcin Jurdzinski, Ranko Lazic, Filip Mazowiecki, Guillermo A. Pérez, James Worrell
When are emptiness and containment decidable for probabilistic automata? J. Comput. Syst. Sci. 119 (2021)
Raphaël Berthon, Adrien Boiret, Guillermo A. Pérez, Jean-François Raskin
Active Learning of Sequential Transducers with Side Information about the Domain. CoRR (2021)
Véronique Bruyère, Guillermo A. Pérez, Gaëtan Staquet
Learning Realtime One-Counter Automata. CoRR (2021)
Guillermo A. Pérez
Lecture Notes on Partially Known MDPs. CoRR (2021)
Michael Blondin, Tim Leys, Filip Mazowiecki, Philip Offtermatt, Guillermo A. Pérez
Continuous One-Counter Automata. LICS (2021)
Florent Delgrange, Ann Nowé, Guillermo A. Pérez
Distillation of RL Policies with Formal Guarantees via Variational Abstraction of Markov Decision Processes (Technical Report). CoRR (2021)
Sebastian Junges, Joost-Pieter Katoen, Guillermo A. Pérez, Tobias Winkler
The complexity of reachability in parametric Markov decision processes. J. Comput. Syst. Sci. 119 (2021)
Guillermo A. Pérez, Ritam Raha
Revisiting Synthesis for One-Counter Automata. CoRR (2020)
Gilles Geeraerts, Shibashis Guha, Guillermo A. Pérez, Jean-François Raskin
Safe Learning for Near Optimal Scheduling. CoRR (2020)
Shaull Almagor, Michaël Cadilhac, Filip Mazowiecki, Guillermo A. Pérez
Weak Cost Register Automata are Still Powerful. Int. J. Found. Comput. Sci. 31 (6) (2020)
Jan Kretínský, Fabian Michel, Lukas Michel, Guillermo A. Pérez
Finite-Memory Near-Optimal Learning for Markov Decision Processes with Long-Run Average Reward. UAI (2020)
Ajaya Adhikari, Richard J. M. den Hollander, Ioannis Tolios, Michael van Bekkum, Anneloes Bal, Stijn Hendriks, Maarten Kruithof, Dennis Gross, Nils Jansen, Guillermo A. Pérez, Kit Buurman, Stephan Raaijmakers
Adversarial Patch Camouflage against Aerial Detection. CoRR (2020)
Dennis Gross, Nils Jansen, Guillermo A. Pérez, Stephan Raaijmakers
Robustness Verification for Classifier Ensembles. ATVA (2020)
Sebastian Junges, Joost-Pieter Katoen, Guillermo A. Pérez, Tobias Winkler
The Complexity of Reachability in Parametric Markov Decision Processes. CoRR (2020)
Dennis Gross, Nils Jansen, Guillermo A. Pérez, Stephan Raaijmakers
Robustness Verification for Classifier Ensembles. CoRR (2020)
Shaull Almagor, Nathann Cohen, Guillermo A. Pérez, Mahsa Shirmohammadi, James Worrell
Coverability in 1-VASS with Disequality Tests. CONCUR (2020)
Pedro Heleno Isolani, Nelson Cardona, Carlos Donato, Guillermo A. Pérez, Johann M. Márquez-Barja, Lisandro Zambenedetti Granville, Steven Latré
Airtime-Based Resource Allocation Modeling for Network Slicing in IEEE 802.11 RANs. IEEE Commun. Lett. 24 (5) (2020)
Floris Geerts, Filip Mazowiecki, Guillermo A. Pérez
Let's Agree to Degree: Comparing Graph Convolutional Networks in the Message-Passing Framework. CoRR (2020)
Shaull Almagor, Nathann Cohen, Guillermo A. Pérez, Mahsa Shirmohammadi, James Worrell
Coverability in 1-VASS with Disequality Tests. CoRR (2019)
Véronique Bruyère, Guillermo A. Pérez, Jean-François Raskin, Clément Tamines
Partial Solvers for Generalized Parity Games. CoRR (2019)
Véronique Bruyère, Guillermo A. Pérez, Jean-François Raskin, Clément Tamines
Partial Solvers for Generalized Parity Games. RP (2019)
Nikhil Balaji, Stefan Kiefer, Petr Novotný, Guillermo A. Pérez, Mahsa Shirmohammadi
On the Complexity of Value Iteration. ICALP (2019)
Guillermo A. Pérez
The Extended HOA Format for Synthesis. CoRR (2019)
Tobias Winkler, Sebastian Junges, Guillermo A. Pérez, Joost-Pieter Katoen
On the Complexity of Reachability in Parametric Markov Decision Processes. CONCUR (2019)
Michaël Cadilhac, Guillermo A. Pérez, Marie van den Bogaard
The Impatient May Use Limited Optimism to Minimize Regret. FoSSaCS (2019)
Tobias Winkler, Sebastian Junges, Guillermo A. Pérez, Joost-Pieter Katoen
On the Complexity of Reachability in Parametric Markov Decision Processes. CoRR (2019)
Jan Kretínský, Guillermo A. Pérez, Jean-François Raskin
Learning-Based Mean-Payoff Optimization in an Unknown MDP under Omega-Regular Constraints. CoRR (2018)
Michaël Cadilhac, Guillermo A. Pérez, Marie van den Bogaard
The Impatient May Use Limited Optimism to Minimize Regret. CoRR (2018)
Shaull Almagor, Michaël Cadilhac, Filip Mazowiecki, Guillermo A. Pérez
Weak Cost Register Automata are Still Powerful. CoRR (2018)
Paul Hunter, Guillermo A. Pérez, Jean-François Raskin
Looking at mean payoff through foggy windows. Acta Informatica 55 (8) (2018)
Stéphane Le Roux, Guillermo A. Pérez
The Complexity of Graph-Based Reductions for Reachability in Markov Decision Processes. FoSSaCS (2018)
Nikhil Balaji, Stefan Kiefer, Petr Novotný, Guillermo A. Pérez, Mahsa Shirmohammadi
On the Complexity of Iterative Tropical Computation with Applications to Markov Decision Processes. CoRR (2018)
Laure Daviaud, Marcin Jurdzinski, Ranko Lazic, Filip Mazowiecki, Guillermo A. Pérez, James Worrell
When is Containment Decidable for Probabilistic Automata?. ICALP (2018)
Laure Daviaud, Marcin Jurdzinski, Ranko Lazic, Filip Mazowiecki, Guillermo A. Pérez, James Worrell
When is Containment Decidable for Probabilistic Automata? CoRR (2018)
Paul Hunter, Arno Pauly, Guillermo A. Pérez, Jean-François Raskin
Mean-payoff games with partial observation. Theor. Comput. Sci. 735 (2018)
Shaull Almagor, Michaël Cadilhac, Filip Mazowiecki, Guillermo A. Pérez
Weak Cost Register Automata Are Still Powerful. DLT (2018)
Jan Kretínský, Guillermo A. Pérez, Jean-François Raskin
Learning-Based Mean-Payoff Optimization in an Unknown MDP under Omega-Regular Constraints. CONCUR (2018)
Krishnendu Chatterjee, Petr Novotný, Guillermo A. Pérez, Jean-François Raskin, Dorde Zikelic
Optimizing Expectation with Guarantees in POMDPs. AAAI (2017)
Emmanuel Filiot, Ismaël Jecker, Nathan Lhote, Guillermo A. Pérez, Jean-François Raskin
On delay and regret determinization of max-plus automata. LICS (2017)
Emmanuel Filiot, Ismaël Jecker, Nathan Lhote, Guillermo A. Pérez, Jean-François Raskin
On Delay and Regret Determinization of Max-Plus Automata. CoRR (2017)
Stéphane Le Roux, Guillermo A. Pérez
The Complexity of Graph-Based Reductions for Reachability in Markov Decision Processes. CoRR (2017)
Swen Jacobs, Roderick Bloem, Romain Brenguier, Rüdiger Ehlers, Timotheus Hell, Robert Könighofer, Guillermo A. Pérez, Jean-François Raskin, Leonid Ryzhyk, Ocan Sankur, Martina Seidl, Leander Tentrup, Adam Walker
The first reactive synthesis competition (SYNTCOMP 2014). Int. J. Softw. Tools Technol. Transf. 19 (3) (2017)
Paul Hunter, Guillermo A. Pérez, Jean-François Raskin
Reactive synthesis without regret. Acta Informatica 54 (1) (2017)
Swen Jacobs, Nicolas Basset, Roderick Bloem, Romain Brenguier, Maximilien Colange, Peter Faymonville, Bernd Finkbeiner, Ayrat Khalimov, Felix Klein, Thibaud Michaud, Guillermo A. Pérez, Jean-François Raskin, Ocan Sankur, Leander Tentrup
The 4th Reactive Synthesis Competition (SYNTCOMP 2017): Benchmarks, Participants & Results. SYNT@CAV (2017)
Suda Bharadwaj, Stéphane Le Roux, Guillermo A. Pérez, Ufuk Topcu
Reduction Techniques for Model Checking and Learning in MDPs. IJCAI (2017)
Guillermo A. Pérez
The fixed initial credit problem for partial-observation energy games is Ack-complete. Inf. Process. Lett. 118 (2017)
Swen Jacobs, Roderick Bloem, Romain Brenguier, Ayrat Khalimov, Felix Klein, Robert Könighofer, Jens Kreber, Alexander Legg, Nina Narodytska, Guillermo A. Pérez, Jean-François Raskin, Leonid Ryzhyk, Ocan Sankur, Martina Seidl, Leander Tentrup, Adam Walker
The 3rd Reactive Synthesis Competition (SYNTCOMP 2016): Benchmarks, Participants & Results. SYNT@CAV (2016)
Krishnendu Chatterjee, Petr Novotný, Guillermo A. Pérez, Jean-François Raskin, Dorde Zikelic
Optimizing Expectation with Guarantees in POMDPs (Technical Report). CoRR (2016)
Romain Brenguier, Lorenzo Clemente, Paul Hunter, Guillermo A. Pérez, Mickael Randour, Jean-François Raskin, Ocan Sankur, Mathieu Sassolas
Non-Zero Sum Games for Reactive Synthesis. LATA (2016)
Paul Hunter, Guillermo A. Pérez, Jean-François Raskin
Minimizing Regret in Discounted-Sum Games. CSL (2016)
Romain Brenguier, Guillermo A. Pérez, Jean-François Raskin, Ocan Sankur
Admissibility in Quantitative Graph Games. FSTTCS (2016)
Romain Brenguier, Guillermo A. Pérez, Jean-François Raskin, Ocan Sankur
Admissibility in Quantitative Graph Games. CoRR (2016)
Thomas Brihaye, Gilles Geeraerts, Axel Haddad, Benjamin Monmege, Guillermo A. Pérez, Gabriel Renault
Quantitative Games under Failures. CoRR (2015)
Romain Brenguier, Guillermo A. Pérez, Jean-François Raskin, Ocan Sankur
Compositional Algorithms for Succinct Safety Games. SYNT (2015)
Romain Brenguier, Lorenzo Clemente, Paul Hunter, Guillermo A. Pérez, Mickael Randour, Jean-François Raskin, Ocan Sankur, Mathieu Sassolas
Non-Zero Sum Games for Reactive Synthesis. CoRR (2015)
Paul Hunter, Guillermo A. Pérez, Jean-François Raskin
Reactive Synthesis Without Regret. CoRR (2015)
Guillermo A. Pérez
The fixed initial credit problem for energy games with partial-observation is Ackermann-complete. CoRR (2015)

Guillermo A. Pérez.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Guillermo A. Pérez