Guillermo A. Pérez

135 papers A* 13A 4B 16C 3Misc 4Journal 74Unranked 21
YearRankTypeTitle / Venue / Authors
2026 J jnl
Computing the Reachability Value of Posterior-Deterministic POMDPs.
CoRR
Nathanaël Fijalkow, Arka Ghosh, Roman Kniazev, Guillermo A. Pérez, Pierre Vandenhove
2026 J jnl
Visibly Recursive Automata.
CoRR
Kévin Dubrulle, Véronique Bruyère, Guillermo A. Pérez, Gaëtan Staquet
2025 — conf
Active Learning of Mealy Machines with Timers.
QEST+FORMATS
Véronique Bruyère, Bharat Garhewal, Guillermo A. Pérez, Gaëtan Staquet, Frits W. Vaandrager
2025 J jnl
Algorithms for Markov Binomial Chains.
Log. Methods Comput. Sci.
Alejandro Alarcón Gonzalez, Niel Hens, Tim Leys, Guillermo A. Pérez
2025 J jnl
Analyzing Value Functions of States in Parametric Markov Chains.
CoRR
Kasper Engelen, Guillermo A. Pérez, Shrisha Rao
2025 A conf
Composing Reinforcement Learning Policies, with Formal Guarantees.
AAMAS
Florent Delgrange, Guy Avni, Anna Lukina, Christian Schilling, Ann Nowé, Guillermo A. Pérez
2025 B conf
Data Structures for Finite Downsets of Natural Vectors: Theory and Practice.
ATVA
Michaël Cadilhac, Vanessa Flügel, Guillermo A. Pérez, Shrisha Rao
2025 J jnl
Data Structures for Finite Downsets of Natural Vectors: Theory and Practice.
CoRR
Michaël Cadilhac, Vanessa Flügel, Guillermo A. Pérez, Shrisha Rao
2025 A conf
Data-Efficient Safe Policy Improvement Using Parametric Structure.
ECAI
Kasper Engelen, Guillermo A. Pérez, Marnix Suilen
2025 J jnl
Data-Efficient Safe Policy Improvement Using Parametric Structure.
CoRR
Kasper Engelen, Guillermo A. Pérez, Marnix Suilen
2025 J jnl
Parikh one-counter automata.
Inf. Comput.
Michaël Cadilhac, Arka Ghosh, Guillermo A. Pérez, Ritam Raha
2025 A* conf
Revelations: A Decidable Class of POMDPs with Omega-Regular Objectives.
AAAI
Marius Belly, Nathanaël Fijalkow, Hugo Gimbert, Florian Horn, Guillermo A. Pérez, Pierre Vandenhove
2025 J jnl
The geometry of reachability in continuous vector addition systems with states.
Inf. Comput.
Shaull Almagor, Arka Ghosh, Tim Leys, Guillermo A. Pérez
2024 J jnl
Active Learning of Mealy Machines with Timers.
CoRR
Véronique Bruyère, Bharat Garhewal, Guillermo A. Pérez, Gaëtan Staquet, Frits W. Vaandrager
2024 J jnl
Algorithms for Markov Binomial Chains.
CoRR
Alejandro Alarcón Gonzalez, Niel Hens, Tim Leys, Guillermo A. Pérez
2024 — conf
Analyzing Value Functions of States in Parametric Markov Chains.
Principles of Verification (2)
Kasper Engelen, Guillermo A. Pérez, Shrisha Rao
2024 J jnl
Continuous Pushdown VASS in One Dimension are Easy.
CoRR
Guillermo A. Pérez, Shrisha Rao
2024 J jnl
Inform: From Compartmental Models to Stochastic Bounded Counter Machines.
CoRR
Tim Leys, Guillermo A. Pérez
2024 A* conf
Integer Programming with GCD Constraints.
SODA
Rémy Défossez, Christoph Haase, Alessio Mansutti, Guillermo A. Pérez
2024 B conf
On Continuous Pushdown VASS in One Dimension.
CONCUR
Guillermo A. Pérez, Shrisha Rao
2024 J jnl
Revelations: A Decidable Class of POMDPs with Omega-Regular Objectives.
CoRR
Marius Belly, Nathanaël Fijalkow, Hugo Gimbert, Florian Horn, Guillermo A. Pérez, Pierre Vandenhove
2024 B conf
SLWM: A Library for Implementing Complex Training Workflows for surrogates of MPC's.
IEEE Big Data
Stijn Bellis, Joachim Denil, Ramesh Krishnamurthy, Guillermo A. Pérez
2024 J jnl
Synthesis of Hierarchical Controllers Based on Deep Reinforcement Learning Policies.
CoRR
Florent Delgrange, Guy Avni, Anna Lukina, Christian Schilling, Ann Nowé, Guillermo A. Pérez
2024 — conf
Synthesizing Efficiently Monitorable Formulas in Metric Temporal Logic.
VMCAI (2)
Ritam Raha, Rajarshi Roy, Nathanaël Fijalkow, Daniel Neider, Guillermo A. Pérez
2024 J jnl
The Reactive Synthesis Competition (SYNTCOMP): 2018-2021.
Int. J. Softw. Tools Technol. Transf.
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
2024 A* conf
The Wasserstein Believer: Learning Belief Updates for Partially Observable Environments through Reliable Latent Space Models.
ICLR
Raphaël Avalos, Florent Delgrange, Ann Nowé, Guillermo A. Pérez, Diederik M. Roijers
2024 Misc conf
Work-in-Progress: Worst-Case Execution-Time Measurement Techniques for Nonlinear Model Predictive Controllers.
CODES+ISSS
Ramesh Krishnamurthy, Guillermo A. Pérez, Joachim Denil, Ward Goossens
2023 B ed.
34th International Conference on Concurrency Theory, CONCUR 2023, Antwerp, Belgium, September 18-23, 2023
CONCUR
Guillermo A. Pérez, Jean-François Raskin
2023 — conf
A Framework for the Competitive Analysis of Model Predictive Controllers.
RP
Stijn Bellis, Joachim Denil, Ramesh Krishnamurthy, Tim Leys, Guillermo A. Pérez, Ritam Raha
2023 — conf
Acacia-Bonsai: A Modern Implementation of Downset-Based LTL Realizability.
TACAS (2)
Michaël Cadilhac, Guillermo A. Pérez
2023 — conf
Automata with Timers.
FORMATS
Véronique Bruyère, Guillermo A. Pérez, Gaëtan Staquet, Frits W. Vaandrager
2023 J jnl
Automata with Timers.
CoRR
Véronique Bruyère, Guillermo A. Pérez, Gaëtan Staquet, Frits W. Vaandrager
2023 J jnl
Bi-Objective Lexicographic Optimization in Markov Decision Processes with Related Objectives.
CoRR
Damien Busatto-Gaston, Debraj Chakraborty, Anirban Majumdar, Sayan Mukherjee, Guillermo A. Pérez, Jean-François Raskin
2023 — conf
Bi-objective Lexicographic Optimization in Markov Decision Processes with Related Objectives.
ATVA (1)
Damien Busatto-Gaston, Debraj Chakraborty, Anirban Majumdar, Sayan Mukherjee, Guillermo A. Pérez, Jean-François Raskin
2023 J jnl
Continuous One-counter Automata.
ACM Trans. Comput. Log.
Michael Blondin, Tim Leys, Filip Mazowiecki, Philip Offtermatt, Guillermo A. Pérez
2023 A conf
Formally-Sharp DAgger for MCTS: Lower-Latency Monte Carlo Tree Search using Data Aggregation with Formal Methods.
AAMAS
Debraj Chakraborty, Damien Busatto-Gaston, Jean-François Raskin, Guillermo A. Pérez
2023 J jnl
Formally-Sharp DAgger for MCTS: Lower-Latency Monte Carlo Tree Search using Data Aggregation with Formal Methods.
CoRR
Debraj Chakraborty, Damien Busatto-Gaston, Jean-François Raskin, Guillermo A. Pérez
2023 — conf
Graph-Based Reductions for Parametric and Weighted MDPs.
ATVA (1)
Kasper Engelen, Guillermo A. Pérez, Shrisha Rao
2023 J jnl
Graph-Based Reductions for Parametric and Weighted MDPs.
CoRR
Kasper Engelen, Guillermo A. Pérez, Shrisha Rao
2023 J jnl
Integer Programming with GCD Constraints.
CoRR
Rémy Défossez, Christoph Haase, Alessio Mansutti, Guillermo A. Pérez
2023 A* conf
Model Checking for Adversarial Multi-Agent Reinforcement Learning with Reactive Defense Methods.
ICAPS
Dennis Gross, Christoph Schmidl, Nils Jansen, Guillermo A. Pérez
2023 B conf
Parikh One-Counter Automata.
MFCS
Michaël Cadilhac, Arka Ghosh, Guillermo A. Pérez, Ritam Raha
2023 J jnl
Synthesizing Efficiently Monitorable Formulas in Metric Temporal Logic.
CoRR
Ritam Raha, Rajarshi Roy, Nathanaël Fijalkow, Daniel Neider, Guillermo A. Pérez
2023 — conf
Targeted Adversarial Attacks on Deep Reinforcement Learning Policies via Model Checking.
ICAART (3)
Dennis Gross, Thiago D. Simão, Nils Jansen, Guillermo A. Pérez
2023 J jnl
The Futures of Reactive Synthesis (Dagstuhl Seminar 23391).
Dagstuhl Reports
Nathanaël Fijalkow, Bernd Finkbeiner, Guillermo A. Pérez, Elizabeth Polgreen, Rémi Morvan
2023 B conf
The Geometry of Reachability in Continuous Vector Addition Systems with States.
MFCS
Shaull Almagor, Arka Ghosh, Tim Leys, Guillermo A. Pérez
2023 J jnl
The Temporal Logic Synthesis Format TLSF v1.2.
CoRR
Swen Jacobs, Guillermo A. Pérez, Philipp Schlehuber-Caissier
2023 J jnl
The Wasserstein Believer: Learning Belief Updates for Partially Observable Environments through Reliable Latent Space Models.
CoRR
Raphaël Avalos, Florent Delgrange, Ann Nowé, Guillermo A. Pérez, Diederik M. Roijers
2023 — conf
Validating Streaming JSON Documents with Learned VPAs.
TACAS (1)
Véronique Bruyère, Guillermo A. Pérez, Gaëtan Staquet
2023 A* conf
Wasserstein Auto-encoded MDPs: Formal Verification of Efficiently Distilled RL Policies with Many-sided Guarantees.
ICLR
Florent Delgrange, Ann Nowé, Guillermo A. Pérez
2023 J jnl
Wasserstein Auto-encoded MDPs: Formal Verification of Efficiently Distilled RL Policies with Many-sided Guarantees.
CoRR
Florent Delgrange, Ann Nowé, Guillermo A. Pérez
2022 J jnl
Acacia-Bonsai: A Modern Implementation of Downset-Based LTL Realizability.
CoRR
Michaël Cadilhac, Guillermo A. Pérez
2022 Misc conf
COOL-MC: A Comprehensive Tool for Reinforcement Learning and Model Checking.
SETTA
Dennis Gross, Nils Jansen, Sebastian Junges, Guillermo A. Pérez
2022 J jnl
COOL-MC: A Comprehensive Tool for Reinforcement Learning and Model Checking.
CoRR
Dennis Gross, Nils Jansen, Sebastian Junges, Guillermo A. Pérez
2022 J jnl
Correction to: Reactive synthesis without regret.
Acta Informatica
Paul Hunter, Guillermo A. Pérez, Jean-François Raskin
2022 A* conf
Distillation of RL Policies with Formal Guarantees via Variational Abstraction of Markov Decision Processes.
AAAI
Florent Delgrange, Ann Nowé, Guillermo A. Pérez
2022 — conf
Learning Realtime One-Counter Automata.
TACAS (1)
Véronique Bruyère, Guillermo A. Pérez, Gaëtan Staquet
2022 B conf
Revisiting Parameter Synthesis for One-Counter Automata.
CSL
Guillermo A. Pérez, Ritam Raha
2022 J jnl
Targeted Adversarial Attacks on Deep Reinforcement Learning Policies via Model Checking.
CoRR
Dennis Gross, Thiago D. Simão, Nils Jansen, Guillermo A. Pérez
2022 J jnl
The Geometry of Reachability in Continuous Vector Addition Systems with States.
CoRR
Shaull Almagor, Arka Ghosh, Tim Leys, Guillermo A. Pérez
2022 J jnl
The Reactive Synthesis Competition (SYNTCOMP): 2018-2021.
CoRR
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
2022 J jnl
Validating Streaming JSON Documents with Learned VPAs.
CoRR
Véronique Bruyère, Guillermo A. Pérez, Gaëtan Staquet
2021 C conf
Active Learning of Sequential Transducers with Side Information About the Domain.
DLT
Raphaël Berthon, Adrien Boiret, Guillermo A. Pérez, Jean-François Raskin
2021 J jnl
Active Learning of Sequential Transducers with Side Information about the Domain.
CoRR
Raphaël Berthon, Adrien Boiret, Guillermo A. Pérez, Jean-François Raskin
2021 A* conf
Continuous One-Counter Automata.
LICS
Michael Blondin, Tim Leys, Filip Mazowiecki, Philip Offtermatt, Guillermo A. Pérez
2021 J jnl
Continuous One-Counter Automata.
CoRR
Michael Blondin, Tim Leys, Filip Mazowiecki, Philip Offtermatt, Guillermo A. Pérez
2021 J jnl
Distillation of RL Policies with Formal Guarantees via Variational Abstraction of Markov Decision Processes (Technical Report).
CoRR
Florent Delgrange, Ann Nowé, Guillermo A. Pérez
2021 J jnl
Learning Realtime One-Counter Automata.
CoRR
Véronique Bruyère, Guillermo A. Pérez, Gaëtan Staquet
2021 J jnl
Lecture Notes on Partially Known MDPs.
CoRR
Guillermo A. Pérez
2021 A* conf
Let's Agree to Degree: Comparing Graph Convolutional Networks in the Message-Passing Framework.
ICML
Floris Geerts, Filip Mazowiecki, Guillermo A. Pérez
2021 — conf
Safe Learning for Near-Optimal Scheduling.
QEST
Damien Busatto-Gaston, Debraj Chakraborty, Shibashis Guha, Guillermo A. Pérez, Jean-François Raskin
2021 J jnl
The complexity of reachability in parametric Markov decision processes.
J. Comput. Syst. Sci.
Sebastian Junges, Joost-Pieter Katoen, Guillermo A. Pérez, Tobias Winkler
2021 J jnl
When are emptiness and containment decidable for probabilistic automata?
J. Comput. Syst. Sci.
Laure Daviaud, Marcin Jurdzinski, Ranko Lazic, Filip Mazowiecki, Guillermo A. Pérez, James Worrell
2020 J jnl
Adversarial Patch Camouflage against Aerial Detection.
CoRR
Ajaya Adhikari, Richard 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
2020 J jnl
Airtime-Based Resource Allocation Modeling for Network Slicing in IEEE 802.11 RANs.
IEEE Commun. Lett.
Pedro Heleno Isolani, Nelson Cardona, Carlos Donato, Guillermo A. Pérez, Johann M. Márquez-Barja, Lisandro Zambenedetti Granville, Steven Latré
2020 B conf
Coverability in 1-VASS with Disequality Tests.
CONCUR
Shaull Almagor, Nathann Cohen, Guillermo A. Pérez, Mahsa Shirmohammadi, James Worrell
2020 A conf
Finite-Memory Near-Optimal Learning for Markov Decision Processes with Long-Run Average Reward.
UAI
Jan Kretínský, Fabian Michel, Lukas Michel, Guillermo A. Pérez
2020 J jnl
Let's Agree to Degree: Comparing Graph Convolutional Networks in the Message-Passing Framework.
CoRR
Floris Geerts, Filip Mazowiecki, Guillermo A. Pérez
2020 J jnl
Revisiting Synthesis for One-Counter Automata.
CoRR
Guillermo A. Pérez, Ritam Raha
2020 B conf
Robustness Verification for Classifier Ensembles.
ATVA
Dennis Gross, Nils Jansen, Guillermo A. Pérez, Stephan Raaijmakers
2020 J jnl
Robustness Verification for Classifier Ensembles.
CoRR
Dennis Gross, Nils Jansen, Guillermo A. Pérez, Stephan Raaijmakers
2020 J jnl
Safe Learning for Near Optimal Scheduling.
CoRR
Gilles Geeraerts, Shibashis Guha, Guillermo A. Pérez, Jean-François Raskin
2020 J jnl
The Complexity of Reachability in Parametric Markov Decision Processes.
CoRR
Sebastian Junges, Joost-Pieter Katoen, Guillermo A. Pérez, Tobias Winkler
2020 J jnl
Weak Cost Register Automata are Still Powerful.
Int. J. Found. Comput. Sci.
Shaull Almagor, Michaël Cadilhac, Filip Mazowiecki, Guillermo A. Pérez
2019 J jnl
Coverability in 1-VASS with Disequality Tests.
CoRR
Shaull Almagor, Nathann Cohen, Guillermo A. Pérez, Mahsa Shirmohammadi, James Worrell
2019 B conf
On the Complexity of Reachability in Parametric Markov Decision Processes.
CONCUR
Tobias Winkler, Sebastian Junges, Guillermo A. Pérez, Joost-Pieter Katoen
2019 J jnl
On the Complexity of Reachability in Parametric Markov Decision Processes.
CoRR
Tobias Winkler, Sebastian Junges, Guillermo A. Pérez, Joost-Pieter Katoen
2019 A* conf
On the Complexity of Value Iteration.
ICALP
Nikhil Balaji, Stefan Kiefer, Petr Novotný, Guillermo A. Pérez, Mahsa Shirmohammadi
2019 — conf
Partial Solvers for Generalized Parity Games.
RP
Véronique Bruyère, Guillermo A. Pérez, Jean-François Raskin, Clément Tamines
2019 J jnl
Partial Solvers for Generalized Parity Games.
CoRR
Véronique Bruyère, Guillermo A. Pérez, Jean-François Raskin, Clément Tamines
2019 J jnl
The Extended HOA Format for Synthesis.
CoRR
Guillermo A. Pérez
2019 B conf
The Impatient May Use Limited Optimism to Minimize Regret.
FoSSaCS
Michaël Cadilhac, Guillermo A. Pérez, Marie van den Bogaard
2018 B conf
Learning-Based Mean-Payoff Optimization in an Unknown MDP under Omega-Regular Constraints.
CONCUR
Jan Kretínský, Guillermo A. Pérez, Jean-François Raskin
2018 J jnl
Learning-Based Mean-Payoff Optimization in an Unknown MDP under Omega-Regular Constraints.
CoRR
Jan Kretínský, Guillermo A. Pérez, Jean-François Raskin
2018 J jnl
Looking at mean payoff through foggy windows.
Acta Informatica
Paul Hunter, Guillermo A. Pérez, Jean-François Raskin
2018 J jnl
Mean-payoff games with partial observation.
Theor. Comput. Sci.
Paul Hunter, Arno Pauly, Guillermo A. Pérez, Jean-François Raskin
2018 J jnl
On the Complexity of Iterative Tropical Computation with Applications to Markov Decision Processes.
CoRR
Nikhil Balaji, Stefan Kiefer, Petr Novotný, Guillermo A. Pérez, Mahsa Shirmohammadi
2018 B conf
The Complexity of Graph-Based Reductions for Reachability in Markov Decision Processes.
FoSSaCS
Stéphane Le Roux, Guillermo A. Pérez
2018 J jnl
The Impatient May Use Limited Optimism to Minimize Regret.
CoRR
Michaël Cadilhac, Guillermo A. Pérez, Marie van den Bogaard
2018 C conf
Weak Cost Register Automata Are Still Powerful.
DLT
Shaull Almagor, Michaël Cadilhac, Filip Mazowiecki, Guillermo A. Pérez
2018 J jnl
Weak Cost Register Automata are Still Powerful.
CoRR
Shaull Almagor, Michaël Cadilhac, Filip Mazowiecki, Guillermo A. Pérez
2018 J jnl
When is Containment Decidable for Probabilistic Automata?
CoRR
Laure Daviaud, Marcin Jurdzinski, Ranko Lazic, Filip Mazowiecki, Guillermo A. Pérez, James Worrell
2018 A* conf
When is Containment Decidable for Probabilistic Automata?.
ICALP
Laure Daviaud, Marcin Jurdzinski, Ranko Lazic, Filip Mazowiecki, Guillermo A. Pérez, James Worrell
2017 J jnl
On Delay and Regret Determinization of Max-Plus Automata.
CoRR
Emmanuel Filiot, Ismaël Jecker, Nathan Lhote, Guillermo A. Pérez, Jean-François Raskin
2017 A* conf
On delay and regret determinization of max-plus automata.
LICS
Emmanuel Filiot, Ismaël Jecker, Nathan Lhote, Guillermo A. Pérez, Jean-François Raskin
2017 A* conf
Optimizing Expectation with Guarantees in POMDPs.
AAAI
Krishnendu Chatterjee, Petr Novotný, Guillermo A. Pérez, Jean-François Raskin, Dorde Zikelic
2017 J jnl
Reactive synthesis without regret.
Acta Informatica
Paul Hunter, Guillermo A. Pérez, Jean-François Raskin
2017 A* conf
Reduction Techniques for Model Checking and Learning in MDPs.
IJCAI
Suda Bharadwaj, Stéphane Le Roux, Guillermo A. Pérez, Ufuk Topcu
2017 — conf
The 4th Reactive Synthesis Competition (SYNTCOMP 2017): Benchmarks, Participants & Results.
SYNT@CAV
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
2017 J jnl
The Complexity of Graph-Based Reductions for Reachability in Markov Decision Processes.
CoRR
Stéphane Le Roux, Guillermo A. Pérez
2017 J jnl
The first reactive synthesis competition (SYNTCOMP 2014).
Int. J. Softw. Tools Technol. Transf.
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
2017 J jnl
The fixed initial credit problem for partial-observation energy games is Ack-complete.
Inf. Process. Lett.
Guillermo A. Pérez
2016 — conf
Admissibility in Quantitative Graph Games.
FSTTCS
Romain Brenguier, Guillermo A. Pérez, Jean-François Raskin, Ocan Sankur
2016 J jnl
Admissibility in Quantitative Graph Games.
CoRR
Romain Brenguier, Guillermo A. Pérez, Jean-François Raskin, Ocan Sankur
2016 B conf
Minimizing Regret in Discounted-Sum Games.
CSL
Paul Hunter, Guillermo A. Pérez, Jean-François Raskin
2016 C conf
Non-Zero Sum Games for Reactive Synthesis.
LATA
Romain Brenguier, Lorenzo Clemente, Paul Hunter, Guillermo A. Pérez, Mickael Randour, Jean-François Raskin, Ocan Sankur, Mathieu Sassolas
2016 J jnl
Optimizing Expectation with Guarantees in POMDPs (Technical Report).
CoRR
Krishnendu Chatterjee, Petr Novotný, Guillermo A. Pérez, Jean-François Raskin, Dorde Zikelic
2016 — conf
The 3rd Reactive Synthesis Competition (SYNTCOMP 2016): Benchmarks, Participants & Results.
SYNT@CAV
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
2015 — conf
Compositional Algorithms for Succinct Safety Games.
SYNT
Romain Brenguier, Guillermo A. Pérez, Jean-François Raskin, Ocan Sankur
2015 B conf
Looking at Mean-Payoff Through Foggy Windows.
ATVA
Paul Hunter, Guillermo A. Pérez, Jean-François Raskin
2015 J jnl
Looking at Mean-Payoff through Foggy Windows.
CoRR
Paul Hunter, Guillermo A. Pérez, Jean-François Raskin
2015 J jnl
Minimizing Regret in Discounted-Sum Games.
CoRR
Paul Hunter, Guillermo A. Pérez, Jean-François Raskin
2015 J jnl
Non-Zero Sum Games for Reactive Synthesis.
CoRR
Romain Brenguier, Lorenzo Clemente, Paul Hunter, Guillermo A. Pérez, Mickael Randour, Jean-François Raskin, Ocan Sankur, Mathieu Sassolas
2015 — conf
Quantitative Games under Failures.
FSTTCS
Thomas Brihaye, Gilles Geeraerts, Axel Haddad, Benjamin Monmege, Guillermo A. Pérez, Gabriel Renault
2015 J jnl
Quantitative Games under Failures.
CoRR
Thomas Brihaye, Gilles Geeraerts, Axel Haddad, Benjamin Monmege, Guillermo A. Pérez, Gabriel Renault
2015 B conf
Reactive Synthesis Without Regret.
CONCUR
Paul Hunter, Guillermo A. Pérez, Jean-François Raskin
2015 J jnl
Reactive Synthesis Without Regret.
CoRR
Paul Hunter, Guillermo A. Pérez, Jean-François Raskin
2015 J jnl
The First Reactive Synthesis Competition (SYNTCOMP 2014).
CoRR
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
2015 — conf
The Second Reactive Synthesis Competition (SYNTCOMP 2015).
SYNT
Swen Jacobs, Roderick Bloem, Romain Brenguier, Robert Könighofer, Guillermo A. Pérez, Jean-François Raskin, Leonid Ryzhyk, Ocan Sankur, Martina Seidl, Leander Tentrup, Adam Walker
2015 J jnl
The fixed initial credit problem for energy games with partial-observation is Ackermann-complete.
CoRR
Guillermo A. Pérez
2014 — conf
AbsSynthe: abstract synthesis from succinct safety specifications.
SYNT
Romain Brenguier, Guillermo A. Pérez, Jean-François Raskin, Ocan Sankur
2014 — conf
Mean-Payoff Games with Partial-Observation - (Extended Abstract).
RP
Paul Hunter, Guillermo A. Pérez, Jean-François Raskin
2013 J jnl
Mean-payoff Games with Incomplete Information.
CoRR
Paul Hunter, Guillermo A. Pérez, Jean-François Raskin
2012 Misc conf
A hybrid just-in-time compiler for android: comparing JIT types and the result of cooperation.
CASES
Guillermo A. Pérez, Chung-Min Kao, Yeh-Ching Chung, Wei-Chung Hsu
2011 Misc conf
A method-based ahead-of-time compiler for android applications.
CASES
Chih-Sheng Wang, Guillermo A. Pérez, Yeh-Ching Chung, Wei-Chung Hsu, Wei-Kuan Shih, Hong-Rong Hsu