Andoni Rodríguez

18 papers A* 3B 1Journal 10Unranked 4
YearRankTypeTitle / Venue / Authors
2025 — conf
Counter Example Guided Reactive Synthesis for LTL Modulo Theories
CAV (4)
Andoni Rodríguez, Felipe Gorostiaga, César Sánchez
2025 B conf
Efficient Dynamic Shielding for Parametric Safety Specifications.
ATVA
Davide Corsi, Kaushik Mallik, Andoni Rodríguez, César Sánchez
2025 J jnl
Efficient Dynamic Shielding for Parametric Safety Specifications.
CoRR
Davide Corsi, Kaushik Mallik, Andoni Rodríguez, César Sánchez
2025 A* conf
Explanations for Unrealizability of Infinite-State Safety Shields.
KR
Andoni Rodríguez, Irfansha Shaik, Davide Corsi, Roy Fox, César Sánchez
2025 J jnl
Explanations for Unrealizability of Infinite-State Safety Shields.
CoRR
Andoni Rodríguez, Irfansha Shaik, Davide Corsi, Roy Fox, César Sánchez
2025 — conf
Realizable Continuous-Space Shields for Safe Reinforcement Learning.
L4DC
Kyungmin Kim, Davide Corsi, Andoni Rodríguez, JB Lanier, Benjami Parellada, Pierre Baldi, César Sánchez, Roy Fox
2025 A* conf
Shield Synthesis for LTL Modulo Theories.
AAAI
Andoni Rodríguez, Guy Amir, Davide Corsi, César Sánchez, Guy Katz
2024 A* conf
Adaptive Reactive Synthesis for LTL and LTLf Modulo Theories.
AAAI
Andoni Rodríguez, César Sánchez
2024 — conf
Predictable and Performant Reactive Synthesis Modulo Theories via Functional Synthesis.
ATVA (2)
Andoni Rodríguez, Felipe Gorostiaga, César Sánchez
2024 J jnl
Predictable and Performant Reactive Synthesis Modulo Theories via Functional Synthesis.
CoRR
Andoni Rodríguez, Felipe Gorostiaga, César Sánchez
2024 J jnl
Realizability modulo theories.
J. Log. Algebraic Methods Program.
Andoni Rodríguez, César Sánchez
2024 J jnl
Realizable Continuous-Space Shields for Safe Reinforcement Learning.
CoRR
Kyungmin Kim, Davide Corsi, Andoni Rodríguez, JB Lanier, Benjami Parellada, Pierre Baldi, César Sánchez, Roy Fox
2024 J jnl
Shield Synthesis for LTL Modulo Theories.
CoRR
Andoni Rodríguez, Guy Amir, Davide Corsi, César Sánchez, Guy Katz
2024 J jnl
Verification-Guided Shielding for Deep Reinforcement Learning.
RLJ
Davide Corsi, Guy Amir, Andoni Rodríguez, Guy Katz, César Sánchez, Roy Fox
2024 J jnl
Verification-Guided Shielding for Deep Reinforcement Learning.
CoRR
Davide Corsi, Guy Amir, Andoni Rodríguez, César Sánchez, Guy Katz, Roy Fox
2023 J jnl
Boolean Abstractions for Realizability Modulo Theories (Extended version).
CoRR
Andoni Rodríguez, César Sánchez
2023 — conf
Boolean Abstractions for Realizability Modulo Theories.
CAV (3)
Andoni Rodríguez, César Sánchez
2023 J jnl
From Realizability Modulo Theories to Synthesis Modulo Theories Part 1: Dynamic approach.
CoRR
Andoni Rodríguez, César Sánchez