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
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[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 - [i53]Tim Leys, Guillermo A. Pérez:
Inform: From Compartmental Models to Stochastic Bounded Counter Machines. CoRR abs/2402.09121 (2024) - [i52]Guillermo A. Pérez, Shrisha Rao:
Continuous Pushdown VASS in One Dimension are Easy. CoRR abs/2402.13237 (2024) - [i51]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) - [i50]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) - [i49]Alejandro Alarcón Gonzalez, Niel Hens, Tim Leys, Guillermo A. Pérez:
Algorithms for Markov Binomial Chains. CoRR abs/2408.04902 (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]