default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDGuillermo A. Pérez 0001
Guillermo Alberto Pérez
Person information
- affiliation: University of Antwerp, Belgium
- affiliation (former): Université libre de Bruxelles, Belgium
Other persons with a similar name
SPARQL queries 
🛈 Please note that only 71% of the items listed on this page have a DOI stored with their dblp record. Therefore, DOI-based queries can only provide partial results.
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2025
[j16]Shaull Almagor, Arka Ghosh
, Tim Leys, Guillermo A. Pérez:
The geometry of reachability in continuous vector addition systems with states. Inf. Comput. 304: 105298 (2025)- [j15]Michaël Cadilhac, Arka Ghosh, Guillermo A. Pérez, Ritam Raha:
Parikh one-counter automata. Inf. Comput. 306: 105322 (2025) - [j14]Alejandro Alarcón Gonzalez, Niel Hens, Tim Leys, Guillermo A. Pérez:
Algorithms for Markov Binomial Chains. Log. Methods Comput. Sci. 21(2) (2025) - [c57]Marius Belly, Nathanaël Fijalkow, Hugo Gimbert, Florian Horn, Guillermo A. Pérez, Pierre Vandenhove:
Revelations: A Decidable Class of POMDPs with Omega-Regular Objectives. AAAI 2025: 26454-26462 - [c56]Florent Delgrange, Guy Avni, Anna Lukina, Christian Schilling, Ann Nowé, Guillermo A. Pérez:
Composing Reinforcement Learning Policies, with Formal Guarantees. AAMAS 2025: 574-583 - [i57]Michaël Cadilhac, Vanessa Flügel, Guillermo A. Pérez, Shrisha Rao:
Data Structures for Finite Downsets of Natural Vectors: Theory and Practice. CoRR abs/2502.09189 (2025) - [i56]Kasper Engelen, Guillermo A. Pérez, Shrisha Rao:
Analyzing Value Functions of States in Parametric Markov Chains. CoRR abs/2504.17020 (2025) - [i55]Kasper Engelen, Guillermo A. Pérez, Marnix Suilen:
Data-Efficient Safe Policy Improvement Using Parametric Structure. CoRR abs/2507.15532 (2025) - 2024
- [j13]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. Int. J. Softw. Tools Technol. Transf. 26(5): 551-567 (2024) - [c55]Stijn Bellis, Joachim Denil, Ramesh Krishnamurthy, Guillermo A. Pérez:
SLWM: A Library for Implementing Complex Training Workflows for surrogates of MPC's. IEEE Big Data 2024: 4139-4144 - [c54]Kasper Engelen, Guillermo A. Pérez, Shrisha Rao:
Analyzing Value Functions of States in Parametric Markov Chains. Principles of Verification (2) 2024: 145-165 - [c53]Ramesh Krishnamurthy, Guillermo A. Pérez, Joachim Denil, Ward Goossens:
Work-in-Progress: Worst-Case Execution-Time Measurement Techniques for Nonlinear Model Predictive Controllers. CODES+ISSS 2024: 5 - [c52]Guillermo A. Pérez, Shrisha Rao:
On Continuous Pushdown VASS in One Dimension. CONCUR 2024: 34:1-34:20 - [c51]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 - [c50]Rémy Défossez, Christoph Haase, Alessio Mansutti, Guillermo A. Pérez:
Integer Programming with GCD Constraints. SODA 2024: 3605-3658 - [c49]Ritam Raha, Rajarshi Roy, Nathanaël Fijalkow, Daniel Neider, Guillermo A. Pérez:
Synthesizing Efficiently Monitorable Formulas in Metric Temporal Logic. VMCAI (2) 2024: 264-288 - [i54]Tim Leys, Guillermo A. Pérez:
Inform: From Compartmental Models to Stochastic Bounded Counter Machines. CoRR abs/2402.09121 (2024) - [i53]Guillermo A. Pérez, Shrisha Rao:
Continuous Pushdown VASS in One Dimension are Easy. CoRR abs/2402.13237 (2024) - [i52]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 abs/2402.13785 (2024) - [i51]Véronique Bruyère, Bharat Garhewal, Guillermo A. Pérez, Gaëtan Staquet, Frits W. Vaandrager:
Active Learning of Mealy Machines with Timers. CoRR abs/2403.02019 (2024) - [i50]Alejandro Alarcón Gonzalez, Niel Hens, Tim Leys, Guillermo A. Pérez:
Algorithms for Markov Binomial Chains. CoRR abs/2408.04902 (2024) - [i49]Marius Belly, Nathanaël Fijalkow, Hugo Gimbert, Florian Horn, Guillermo A. Pérez, Pierre Vandenhove:
Revelations: A Decidable Class of POMDPs with Omega-Regular Objectives. CoRR abs/2412.12063 (2024) - 2023
- [j12]Michael Blondin, Tim Leys, Filip Mazowiecki, Philip Offtermatt, Guillermo A. Pérez:
Continuous One-counter Automata. ACM Trans. Comput. Log. 24(1): 3:1-3:31 (2023) - [c48]Dennis Gross, Christoph Schmidl, Nils Jansen, Guillermo A. Pérez:
Model Checking for Adversarial Multi-Agent Reinforcement Learning with Reactive Defense Methods. ICAPS 2023: 162-170 - [c47]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: 1354-1362 - [c46]Kasper Engelen, Guillermo A. Pérez, Shrisha Rao:
Graph-Based Reductions for Parametric and Weighted MDPs. ATVA (1) 2023: 137-157 - [c45]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: 203-223 - [c44]Véronique Bruyère, Guillermo A. Pérez, Gaëtan Staquet, Frits W. Vaandrager:
Automata with Timers. FORMATS 2023: 33-49 - [c43]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: 501-508 - [c42]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 - [c41]Shaull Almagor, Arka Ghosh, Tim Leys, Guillermo A. Pérez:
The Geometry of Reachability in Continuous Vector Addition Systems with States. MFCS 2023: 11:1-11:13 - [c40]Michaël Cadilhac, Arka Ghosh, Guillermo A. Pérez, Ritam Raha:
Parikh One-Counter Automata. MFCS 2023: 30:1-30:15 - [c39]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: 141-154 - [c38]Michaël Cadilhac, Guillermo A. Pérez:
Acacia-Bonsai: A Modern Implementation of Downset-Based LTL Realizability. TACAS (2) 2023: 192-207 - [c37]Véronique Bruyère, Guillermo A. Pérez, Gaëtan Staquet:
Validating Streaming JSON Documents with Learned VPAs. TACAS (1) 2023: 271-289 - [e1]Guillermo A. Pérez, Jean-François Raskin:
34th International Conference on Concurrency Theory, CONCUR 2023, September 18-23, 2023, Antwerp, Belgium. LIPIcs 279, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2023, ISBN 978-3-95977-299-0 [contents] - [i48]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 abs/2303.03284 (2023) - [i47]Swen Jacobs, Guillermo A. Pérez, Philipp Schlehuber-Caissier:
The Temporal Logic Synthesis Format TLSF v1.2. CoRR abs/2303.03839 (2023) - [i46]Florent Delgrange, Ann Nowé, Guillermo A. Pérez:
Wasserstein Auto-encoded MDPs: Formal Verification of Efficiently Distilled RL Policies with Many-sided Guarantees. CoRR abs/2303.12558 (2023) - [i45]Kasper Engelen, Guillermo A. Pérez, Shrisha Rao:
Graph-Based Reductions for Parametric and Weighted MDPs. CoRR abs/2305.05739 (2023) - [i44]Véronique Bruyère, Guillermo A. Pérez, Gaëtan Staquet, Frits W. Vaandrager:
Automata with Timers. CoRR abs/2305.07451 (2023) - [i43]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 abs/2305.09634 (2023) - [i42]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 abs/2308.07738 (2023) - [i41]Rémy Défossez, Christoph Haase, Alessio Mansutti, Guillermo A. Pérez:
Integer Programming with GCD Constraints. CoRR abs/2308.13609 (2023) - [i40]Ritam Raha, Rajarshi Roy, Nathanaël Fijalkow, Daniel Neider, Guillermo A. Pérez:
Synthesizing Efficiently Monitorable Formulas in Metric Temporal Logic. CoRR abs/2310.17410 (2023) - [i39]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): 166-184 (2023) - 2022
- [j11]Paul Hunter, Guillermo A. Pérez, Jean-François Raskin:
Correction to: Reactive synthesis without regret. Acta Informatica 59(5): 671 (2022) - [j10]Elizabeth Polgreen, Guillermo Alberto Pérez:
Preface for the formal methods in system design special issue on SYNT 2021. Formal Methods Syst. Des. 61(2): 137-138 (2022) - [c36]Florent Delgrange, Ann Nowé, Guillermo A. Pérez:
Distillation of RL Policies with Formal Guarantees via Variational Abstraction of Markov Decision Processes. AAAI 2022: 6497-6505 - [c35]Guillermo A. Pérez, Ritam Raha:
Revisiting Parameter Synthesis for One-Counter Automata. CSL 2022: 33:1-33:18 - [c34]Dennis Gross, Nils Jansen, Sebastian Junges, Guillermo A. Pérez:
COOL-MC: A Comprehensive Tool for Reinforcement Learning and Model Checking. SETTA 2022: 41-49 - [c33]Véronique Bruyère, Guillermo A. Pérez, Gaëtan Staquet:
Learning Realtime One-Counter Automata. TACAS (1) 2022: 244-262 - [i38]Michaël Cadilhac, Guillermo A. Pérez:
Acacia-Bonsai: A Modern Implementation of Downset-Based LTL Realizability. CoRR abs/2204.06079 (2022) - [i37]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 abs/2206.00251 (2022) - [i36]Dennis Gross, Nils Jansen, Sebastian Junges, Guillermo A. Pérez:
COOL-MC: A Comprehensive Tool for Reinforcement Learning and Model Checking. CoRR abs/2209.07133 (2022) - [i35]Shaull Almagor, Arka Ghosh, Tim Leys, Guillermo A. Pérez:
The Geometry of Reachability in Continuous Vector Addition Systems with States. CoRR abs/2210.00785 (2022) - [i34]Véronique Bruyère, Guillermo A. Pérez, Gaëtan Staquet:
Validating Streaming JSON Documents with Learned VPAs. CoRR abs/2211.08891 (2022) - [i33]Dennis Gross, Thiago D. Simão, Nils Jansen, Guillermo A. Pérez:
Targeted Adversarial Attacks on Deep Reinforcement Learning Policies via Model Checking. CoRR abs/2212.05337 (2022) - 2021
- [j9]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: 78-96 (2021) - [j8]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: 183-210 (2021) - [c32]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: 54-65 - [c31]Floris Geerts, Filip Mazowiecki, Guillermo A. Pérez:
Let's Agree to Degree: Comparing Graph Convolutional Networks in the Message-Passing Framework. ICML 2021: 3640-3649 - [c30]Michael Blondin, Tim Leys, Filip Mazowiecki, Philip Offtermatt, Guillermo A. Pérez:
Continuous One-Counter Automata. LICS 2021: 1-13 - [c29]Damien Busatto-Gaston, Debraj Chakraborty, Shibashis Guha, Guillermo A. Pérez, Jean-François Raskin:
Safe Learning for Near-Optimal Scheduling. QEST 2021: 235-254 - [i32]Michael Blondin, Tim Leys, Filip Mazowiecki, Philip Offtermatt, Guillermo A. Pérez:
Continuous One-Counter Automata. CoRR abs/2101.11996 (2021) - [i31]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 abs/2104.11758 (2021) - [i30]Véronique Bruyère, Guillermo A. Pérez, Gaëtan Staquet:
Learning Realtime One-Counter Automata. CoRR abs/2110.09434 (2021) - [i29]Guillermo A. Pérez:
Lecture Notes on Partially Known MDPs. CoRR abs/2112.02976 (2021) - [i28]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 abs/2112.09655 (2021) - 2020
- [j7]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): 1077-1080 (2020) - [j6]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): 689-709 (2020) - [c28]Dennis Gross, Nils Jansen, Guillermo A. Pérez, Stephan Raaijmakers:
Robustness Verification for Classifier Ensembles. ATVA 2020: 271-287 - [c27]Shaull Almagor, Nathann Cohen, Guillermo A. Pérez, Mahsa Shirmohammadi, James Worrell:
Coverability in 1-VASS with Disequality Tests. CONCUR 2020: 38:1-38:20 - [c26]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: 1149-1158 - [i27]Floris Geerts, Filip Mazowiecki, Guillermo A. Pérez:
Let's Agree to Degree: Comparing Graph Convolutional Networks in the Message-Passing Framework. CoRR abs/2004.02593 (2020) - [i26]Guillermo A. Pérez, Ritam Raha:
Revisiting Synthesis for One-Counter Automata. CoRR abs/2005.01071 (2020) - [i25]Dennis Gross, Nils Jansen, Guillermo A. Pérez, Stephan Raaijmakers:
Robustness Verification for Classifier Ensembles. CoRR abs/2005.05587 (2020) - [i24]Gilles Geeraerts, Shibashis Guha, Guillermo A. Pérez, Jean-François Raskin:
Safe Learning for Near Optimal Scheduling. CoRR abs/2005.09253 (2020) - [i23]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:
Adversarial Patch Camouflage against Aerial Detection. CoRR abs/2008.13671 (2020) - [i22]Sebastian Junges, Joost-Pieter Katoen, Guillermo A. Pérez, Tobias Winkler:
The Complexity of Reachability in Parametric Markov Decision Processes. CoRR abs/2009.13128 (2020)
2010 – 2019
- 2019
- [c25]Tobias Winkler, Sebastian Junges, Guillermo A. Pérez, Joost-Pieter Katoen:
On the Complexity of Reachability in Parametric Markov Decision Processes. CONCUR 2019: 14:1-14:17 - [c24]Michaël Cadilhac, Guillermo A. Pérez, Marie van den Bogaard:
The Impatient May Use Limited Optimism to Minimize Regret. FoSSaCS 2019: 133-149 - [c23]Nikhil Balaji, Stefan Kiefer, Petr Novotný, Guillermo A. Pérez, Mahsa Shirmohammadi:
On the Complexity of Value Iteration. ICALP 2019: 102:1-102:15 - [c22]Véronique Bruyère, Guillermo A. Pérez, Jean-François Raskin, Clément Tamines:
Partial Solvers for Generalized Parity Games. RP 2019: 63-78 - [i21]Shaull Almagor, Nathann Cohen, Guillermo A. Pérez, Mahsa Shirmohammadi, James Worrell:
Coverability in 1-VASS with Disequality Tests. CoRR abs/1902.06576 (2019) - [i20]Tobias Winkler, Sebastian Junges, Guillermo A. Pérez, Joost-Pieter Katoen:
On the Complexity of Reachability in Parametric Markov Decision Processes. CoRR abs/1904.01503 (2019) - [i19]Véronique Bruyère, Guillermo A. Pérez, Jean-François Raskin, Clément Tamines:
Partial Solvers for Generalized Parity Games. CoRR abs/1907.06913 (2019) - [i18]Guillermo A. Pérez:
The Extended HOA Format for Synthesis. CoRR abs/1912.05793 (2019) - 2018
- [j5]Paul Hunter, Guillermo A. Pérez, Jean-François Raskin:
Looking at mean payoff through foggy windows. Acta Informatica 55(8): 627-647 (2018) - [j4]Paul Hunter, Arno Pauly, Guillermo A. Pérez, Jean-François Raskin:
Mean-payoff games with partial observation. Theor. Comput. Sci. 735: 82-110 (2018) - [c21]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: 8:1-8:18 - [c20]Shaull Almagor, Michaël Cadilhac, Filip Mazowiecki, Guillermo A. Pérez:
Weak Cost Register Automata Are Still Powerful. DLT 2018: 83-95 - [c19]Stéphane Le Roux, Guillermo A. Pérez:
The Complexity of Graph-Based Reductions for Reachability in Markov Decision Processes. FoSSaCS 2018: 367-383 - [c18]Laure Daviaud, Marcin Jurdzinski, Ranko Lazic, Filip Mazowiecki, Guillermo A. Pérez, James Worrell:
When is Containment Decidable for Probabilistic Automata?. ICALP 2018: 121:1-121:14 - [i17]Shaull Almagor, Michaël Cadilhac, Filip Mazowiecki, Guillermo A. Pérez:
Weak Cost Register Automata are Still Powerful. CoRR abs/1804.06336 (2018) - [i16]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 abs/1804.08924 (2018) - [i15]Laure Daviaud, Marcin Jurdzinski, Ranko Lazic, Filip Mazowiecki, Guillermo A. Pérez, James Worrell:
When is Containment Decidable for Probabilistic Automata? CoRR abs/1804.09077 (2018) - [i14]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 abs/1807.04920 (2018) - [i13]Michaël Cadilhac, Guillermo A. Pérez, Marie van den Bogaard:
The Impatient May Use Limited Optimism to Minimize Regret. CoRR abs/1811.07146 (2018) - 2017
- [j3]Paul Hunter, Guillermo A. Pérez, Jean-François Raskin:
Reactive synthesis without regret. Acta Informatica 54(1): 3-39 (2017) - [j2]Guillermo A. Pérez:
The fixed initial credit problem for partial-observation energy games is Ack-complete. Inf. Process. Lett. 118: 91-99 (2017) - [j1]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): 367-390 (2017) - [c17]Krishnendu Chatterjee, Petr Novotný, Guillermo A. Pérez, Jean-François Raskin, Dorde Zikelic:
Optimizing Expectation with Guarantees in POMDPs. AAAI 2017: 3725-3732 - [c16]Suda Bharadwaj, Stéphane Le Roux, Guillermo A. Pérez, Ufuk Topcu:
Reduction Techniques for Model Checking and Learning in MDPs. IJCAI 2017: 4273-4279 - [c15]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: 1-12 - [c14]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: 116-143 - [i12]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 abs/1701.02903 (2017) - [i11]Stéphane Le Roux, Guillermo A. Pérez:
The Complexity of Graph-Based Reductions for Reachability in Markov Decision Processes. CoRR abs/1710.07903 (2017) - 2016
- [c13]Paul Hunter, Guillermo A. Pérez, Jean-François Raskin:
Minimizing Regret in Discounted-Sum Games. CSL 2016: 30:1-30:17 - [c12]Romain Brenguier, Guillermo A. Pérez, Jean-François Raskin, Ocan Sankur:
Admissibility in Quantitative Graph Games. FSTTCS 2016: 42:1-42:14 - [c11]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: 3-23 - [c10]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: 149-177 - [i10]Romain Brenguier, Guillermo A. Pérez, Jean-François Raskin, Ocan Sankur:
Admissibility in Quantitative Graph Games. CoRR abs/1611.08677 (2016) - [i9]Krishnendu Chatterjee, Petr Novotný, Guillermo A. Pérez, Jean-François Raskin, Dorde Zikelic:
Optimizing Expectation with Guarantees in POMDPs (Technical Report). CoRR abs/1611.08696 (2016) - 2015
- [c9]Paul Hunter, Guillermo A. Pérez, Jean-François Raskin:
Looking at Mean-Payoff Through Foggy Windows. ATVA 2015: 429-445 - [c8]Paul Hunter, Guillermo A. Pérez, Jean-François Raskin:
Reactive Synthesis Without Regret. CONCUR 2015: 114-127 - [c7]Thomas Brihaye, Gilles Geeraerts, Axel Haddad, Benjamin Monmege, Guillermo A. Pérez, Gabriel Renault:
Quantitative Games under Failures. FSTTCS 2015: 293-306 - [c6]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:
The Second Reactive Synthesis Competition (SYNTCOMP 2015). SYNT 2015: 27-57 - [c5]Romain Brenguier, Guillermo A. Pérez, Jean-François Raskin, Ocan Sankur:
Compositional Algorithms for Succinct Safety Games. SYNT 2015: 98-111 - [i8]Paul Hunter, Guillermo A. Pérez, Jean-François Raskin:
Reactive Synthesis Without Regret. CoRR abs/1504.01708 (2015) - [i7]Paul Hunter, Guillermo A. Pérez, Jean-François Raskin:
Looking at Mean-Payoff through Foggy Windows. CoRR abs/1504.02947 (2015) - [i6]Thomas Brihaye, Gilles Geeraerts, Axel Haddad, Benjamin Monmege, Guillermo A. Pérez, Gabriel Renault:
Quantitative Games under Failures. CoRR abs/1504.06744 (2015) - [i5]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). CoRR abs/1506.08726 (2015) - [i4]Paul Hunter, Guillermo A. Pérez, Jean-François Raskin:
Minimizing Regret in Discounted-Sum Games. CoRR abs/1511.00523 (2015) - [i3]Guillermo A. Pérez:
The fixed initial credit problem for energy games with partial-observation is Ackermann-complete. CoRR abs/1512.04255 (2015) - [i2]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 abs/1512.05568 (2015) - 2014
- [c4]Paul Hunter, Guillermo A. Pérez, Jean-François Raskin:
Mean-Payoff Games with Partial-Observation - (Extended Abstract). RP 2014: 163-175 - [c3]Romain Brenguier, Guillermo A. Pérez, Jean-François Raskin, Ocan Sankur:
AbsSynthe: abstract synthesis from succinct safety specifications. SYNT 2014: 100-116 - 2013
- [i1]Paul Hunter, Guillermo A. Pérez, Jean-François Raskin:
Mean-payoff Games with Incomplete Information. CoRR abs/1309.5462 (2013) - 2012
- [c2]Guillermo A. Pérez, Chung-Min Kao, Yeh-Ching Chung, Wei-Chung Hsu:
A hybrid just-in-time compiler for android: comparing JIT types and the result of cooperation. CASES 2012: 41-50 - 2011
- [c1]Chih-Sheng Wang, Guillermo A. Pérez, Yeh-Ching Chung, Wei-Chung Hsu, Wei-Kuan Shih, Hong-Rong Hsu:
A method-based ahead-of-time compiler for android applications. CASES 2011: 15-24
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-09-27 03:21 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
