Rodriguez, Andoni

1. Boolean Abstractions for Realizability Modulo Theories (Extended version)
   2023/10/26 by Rodriguez, Andoni, Sanchez, Cesar · 4 citations
   #FOS: Computer and information sciences #Logic in Computer Science (cs.LO)
2. Shield Synthesis for LTL Modulo Theories
   2024/06/06 by Rodriguez, Andoni, Amir, Guy, Corsi, Davide +2 · 2 citations
   #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Machine Learning (cs.LG) #Robotics (cs.RO)
3. Verification-Guided Shielding for Deep Reinforcement Learning
   2024/06/10 by Corsi, Davide, Amir, Guy, Rodriguez, Andoni +3 · 1 citation
   #FOS: Computer and information sciences #Machine Learning (cs.LG)