| 2026 | FM | Maximum Realizability for LTL Modulo Theories. | Andoni Rodrguez, Csar Snchez |
| 2026 | KR | AIGLE: A Tool for Compact, Legible AIGER Circuits from Safety Specifications. | Matas Brizzio, Andoni Rodrguez, Csar Snchez, Renzo Degiovanni |
| 2026 | KR | SafeTap: Trustworthy Neurosymbolic Language to Quadrupedal Locomotion via Shield Synthesis Modulo Bitvectors. | Andoni Rodrguez, Csar Snchez |
| 2025 | AAAI | Shield Synthesis for LTL Modulo Theories. | Andoni Rodrguez, Guy Amir, Davide Corsi, Csar Snchez, Guy Katz |
| 2025 | ATVA | Efficient Dynamic Shielding for Parametric Safety Specifications. | Davide Corsi, Kaushik Mallik, Andoni Rodrguez, Csar Snchez |
| 2025 | CAV | Counter Example Guided Reactive Synthesis for LTL Modulo Theories | Andoni Rodrguez, Felipe Gorostiaga, Csar Snchez |
| 2025 | KR | Explanations for Unrealizability of Infinite-State Safety Shields. | Andoni Rodrguez, Irfansha Shaik, Davide Corsi, Roy Fox, Csar Snchez |
| 2024 | AAAI | Adaptive Reactive Synthesis for LTL and LTLf Modulo Theories. | Andoni Rodrguez, Csar Snchez |
| 2024 | ATVA | Predictable and Performant Reactive Synthesis Modulo Theories via Functional Synthesis. | Andoni Rodrguez, Felipe Gorostiaga, Csar Snchez |
| 2023 | CAV | Boolean Abstractions for Realizability Modulo Theories. | Andoni Rodrguez, Csar Snchez |