Andoni Rodríguez

Publication Activity (10 Years)

Years Active: 2023-2024
Publications (10 Years): 6

Top Topics

Boolean Functions

Search Strategy

Modulo Theories

Top Venues

J. Log. Algebraic Methods Program.

Publications

Andoni Rodríguez, César Sánchez
Realizability modulo theories. J. Log. Algebraic Methods Program. 140 (2024)
Andoni Rodríguez, César Sánchez
Adaptive Reactive Synthesis for LTL and LTLf Modulo Theories. AAAI (2024)
Andoni Rodríguez, Felipe Gorostiaga, César Sánchez
Predictable and Performant Reactive Synthesis Modulo Theories via Functional Synthesis. CoRR (2024)
Andoni Rodríguez, César Sánchez
Boolean Abstractions for Realizability Modulo Theories (Extended version). CoRR (2023)
Andoni Rodríguez, César Sánchez
Boolean Abstractions for Realizability Modulo Theories. CAV (3) (2023)
Andoni Rodríguez, César Sánchez
From Realizability Modulo Theories to Synthesis Modulo Theories Part 1: Dynamic approach. CoRR (2023)