Guillermo A. Pérez
- COOL-MC: A Comprehensive Tool for Reinforcement Learning and Model Checking
2022/09/15 by Dennis C. Gross, Nils Jansen, Gross, Dennis +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)
- The Wasserstein Believer: Learning Belief Updates for Partially Observable Environments through Reliable Latent Space Models
2023/03/06 by Raphaël Avalos, Florent Delgrange, Avalos, Raphael +7 · 4 citations
Computer Science · #Artificial Intelligence (cs.AI) #Domain Adaptation and Few-Shot Learning #Explainable Artificial Intelligence (XAI) #FOS: Computer and information sciences #Machine Learning (cs.LG) #Reinforcement Learning in Robotics
- Distillation of RL Policies with Formal Guarantees via Variational Abstraction of Markov Decision Processes (Technical Report)
2021/12/17 by Florent Delgrange, Delgrange, Florent, Ann Nowé +3 · 2 citations
Computer Science · #Reinforcement Learning in Robotics #Adversarial Robustness in Machine Learning #Explainable Artificial Intelligence (XAI)
- On Delay and Regret Determinization of Max-Plus Automata
2017/01/11 by Emmanuel Filiot, Ismaël Jecker, Filiot, Emmanuel +7 · 1 citation
Computer Science · #Computer Science and Game Theory (cs.GT) #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Machine Learning and Algorithms #semigroups and automata theory
- The Complexity of Graph-Based Reductions for Reachability in Markov Decision Processes
2017/10/22 by Stéphane Le Roux, Guillermo A. Pérez, Roux, Stephane Le +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)
- 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
- 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
- Composing Reinforcement Learning Policies, with Formal Guarantees
2024/02/21 by Florent Delgrange, Delgrange, Florent, Guy Avni +9 · 2 citations
Computer Science · Engineering · #Advanced Research in Systems and Signal Processing #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Reinforcement Learning in Robotics
- Acacia-Bonsai
2022/04/12 by Michaël Cadilhac, Guillermo A. Pérez, Cadilhac, Michaël +1 · 1 citation
Computer Science · #Advanced Database Systems and Queries #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Logic, programming, and type systems #Mathematical Software (cs.MS)
- Let's Agree to Degree: Comparing Graph Convolutional Networks in the Message-Passing Framework
2020/04/06 by Floris Geerts, Filip Mazowiecki, Geerts, Floris +3 · 1 citation
Computer Science · Engineering · Physics and Astronomy · #Advanced Graph Neural Networks #Advanced Memory and Neural Computing #Complex Network Analysis Techniques #FOS: Computer and information sciences #Machine Learning (cs.LG) #Machine Learning (stat.ML)
- 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)