Scholar
Andoni Rodriguez
Google Scholar ID: cZRgwiwAAAAJ
IMDEA Software Institute
Formal Methods
Symbolic AI
Reactive Systems
Temporal Logics
Automated Reasoning
Follow
Google Scholar
↗
Citations & Impact
All-time
Citations
99
H-index
6
i10-index
5
Publications
11
Co-authors
5
list available
Contact
No contact links provided.
Publications
4 items
Cycle-Consistent Neural Explanation of Formal Verification Certificates
2026
Cited
0
Explanations for Unrealizability of Infinite-State Safety Shields
2025
Cited
0
Efficient Dynamic Shielding for Parametric Safety Specifications
2025
Cited
0
Research Vision: Multi-Agent Path Planning for Cops And Robbers Via Reactive Synthesis
2025
Cited
0
Resume (English only)
Co-authors
5 total
Co-author 1
Davide Corsi
University of California, Irvine
Roy Fox
Assistant Professor, UC Irvine
Guy Katz
The Hebrew University of Jerusalem
Guy Amir
Cornell University
