Perez, Guillermo A.

1. COOL-MC: A Comprehensive Tool for Reinforcement Learning and Model Checking
   2022/09/15 by Dennis C. Gross, Gross, Dennis, Nils Jansen +5 · 5 citations
   Computer Science · #Adversarial Robustness in Machine Learning #Explainable Artificial Intelligence (XAI) #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Machine Learning (cs.LG)
2. The Reactive Synthesis Competition (SYNTCOMP): 2018-2021
   2022/06/01 by Jacobs, Swen, Perez, Guillermo A., Abraham, Remco +22 · 3 citations
   #FOS: Computer and information sciences #Logic in Computer Science (cs.LO)
3. The Complexity of Graph-Based Reductions for Reachability in Markov Decision Processes
   2017/10/22 by Stéphane Le Roux, Roux, Stephane Le, Guillermo A. Pérez +1 · 1 citation
   Computer Science · #Artificial Intelligence (cs.AI) #Bayesian Modeling and Causal Inference #Distributed systems and fault tolerance #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO)
4. The Extended HOA Format for Synthesis
   2019/12/12 by Guillermo A. Pérez, Perez, Guillermo A. · 1 citation
   Computer Science · #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Logic, programming, and type systems #Model-Driven Software Engineering Techniques
5. Active Learning of Sequential Transducers with Side Information about\n the Domain
   2021/04/23 by Raphaël Berthon, Berthon, Raphaël, Adrien Boiret +5 · 1 citation
   Computer Science · #Machine Learning and Algorithms #Algorithms and Data Compression #semigroups and automata theory
6. The Temporal Logic Synthesis Format TLSF v1.2
   2023/03/07 by Jacobs, Swen, Perez, Guillermo A., Schlehuber-Caissier, Philipp · 1 citation
   #FOS: Computer and information sciences #Logic in Computer Science (cs.LO)
7. Synthesizing Efficiently Monitorable Formulas in Metric Temporal Logic
   2023/10/26 by Raha, Ritam, Roy, Rajarshi, Fijalkow, Nathanael +2 · 1 citation
   #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Logic in Computer Science (cs.LO)
8. The Geometry of Reachability in Continuous Vector Addition Systems with States
   2022/10/03 by Almagor, Shaull, Ghosh, Arka, Leys, Tim +1 · 1 citation
   #FOS: Computer and information sciences #Logic in Computer Science (cs.LO)
9. Targeted Adversarial Attacks on Deep Reinforcement Learning Policies via Model Checking
   2022/12/10 by Dennis C. Gross, Gross, Dennis, Thiago D. Simão +5 · 1 citation
   Computer Science · #Adversarial Robustness in Machine Learning #FOS: Computer and information sciences #Machine Learning (cs.LG)