Andoni Rodríguez

According to our database, Andoni Rodríguez authored at least 9 papers between 2023 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Realizability modulo theories.

Andoni Rodríguez, César Sánchez

J. Log. Algebraic Methods Program., 2024

Realizable Continuous-Space Shields for Safe Reinforcement Learning.

Kyungmin Kim, Davide Corsi, Andoni Rodríguez, JB Lanier, Benjami Parellada, Pierre Baldi, César Sánchez, Roy Fox

CoRR, 2024

Predictable and Performant Reactive Synthesis Modulo Theories via Functional Synthesis.

Andoni Rodríguez, Felipe Gorostiaga, César Sánchez

CoRR, 2024

Shield Synthesis for LTL Modulo Theories.

Andoni Rodríguez, Guy Amir, Davide Corsi, César Sánchez, Guy Katz

CoRR, 2024

Verification-Guided Shielding for Deep Reinforcement Learning.

Davide Corsi, Guy Amir, Andoni Rodríguez, Guy Katz, César Sánchez, Roy Fox

RLJ, 2024

Adaptive Reactive Synthesis for LTL and LTLf Modulo Theories.

Andoni Rodríguez, César Sánchez

Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024

2023

Boolean Abstractions for Realizability Modulo Theories (Extended version).

Andoni Rodríguez, César Sánchez

CoRR, 2023

From Realizability Modulo Theories to Synthesis Modulo Theories Part 1: Dynamic approach.

Andoni Rodríguez, César Sánchez

CoRR, 2023

Boolean Abstractions for Realizability Modulo Theories.

Andoni Rodríguez, César Sánchez

Proceedings of the Computer Aided Verification - 35th International Conference, 2023