PPaperPicks

Andoni Rodríguez

6 papers at tracked venues · 2 at CORE A* · active 2024–2026

DBLP profile ↗ORCID search ↗

Venues

KR ×3AAAI ×2FM ×1

Frequent coauthors

César Sánchez
×6
Davide Corsi
×2
Matías Brizzio
×1
Renzo Degiovanni
×1
Irfansha Shaik
×1
Roy Fox
×1
Guy Amir
×1
Guy Katz
×1

Papers

  1. AIGLE: A Tool for Compact, Legible AIGER Circuits from Safety Specifications
    KR 2026 ·
    Matías Brizzio
    , Andoni Rodríguez,
    César Sánchez
    ,
    Renzo Degiovanni
  2. Maximum Realizability for LTL Modulo Theories
    FM 2026 · Andoni Rodríguez,
    César Sánchez
  3. SafeTap: Trustworthy Neurosymbolic Language to Quadrupedal Locomotion via Shield Synthesis Modulo Bitvectors
    KR 2026 · Andoni Rodríguez,
    César Sánchez
  4. Explanations for Unrealizability of Infinite-State Safety Shields
    KR 2025 · Andoni Rodríguez,
    Irfansha Shaik
    ,
    Davide Corsi
    ,
    Roy Fox
    ,
    César Sánchez
  5. Shield Synthesis for LTL Modulo Theories
    AAAI 2025 · Andoni Rodríguez,
    Guy Amir
    ,
    Davide Corsi
    ,
    César Sánchez
    ,
    Guy Katz
  6. Adaptive Reactive Synthesis for LTL and LTLf Modulo Theories
    AAAI 2024 · Andoni Rodríguez,
    César Sánchez