Rodríguez, Andoni

2 publications

AAAI 2025 Shield Synthesis for LTL Modulo Theories Andoni Rodríguez, Guy Amir, Davide Corsi, César Sánchez, Guy Katz

AAAI 2024 Adaptive Reactive Synthesis for LTL and LTLf Modulo Theories Andoni Rodríguez, César Sánchez