Andoni Rodriguez
Scholar

Andoni Rodriguez

Google Scholar ID: cZRgwiwAAAAJ
IMDEA Software Institute
Formal MethodsSymbolic AIReactive SystemsTemporal LogicsAutomated Reasoning
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
3 items
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
Co-author 1
Davide Corsi
Davide Corsi
University of California, Irvine
Roy Fox
Roy Fox
Assistant Professor, UC Irvine
Guy Katz
Guy Katz
The Hebrew University of Jerusalem
Guy Amir
Guy Amir
Cornell University