PPaperPicks

Andoni Rodríguez

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

DBLP profile ↗ORCID search ↗

Venues

KR ×3AAAI ×2

Frequent coauthors

Matías Brizzio
DBLP profile ↗ORCID search ↗
×1

Papers

  1. AIGLE: A Tool for Compact, Legible AIGER Circuits from Safety Specifications
    KR 2026 ·
    Matías Brizzio
    DBLP profile ↗ORCID search ↗
  2. SafeTap: Trustworthy Neurosymbolic Language to Quadrupedal Locomotion via Shield Synthesis Modulo Bitvectors
    KR 2026 · Andoni Rodríguez
  3. Explanations for Unrealizability of Infinite-State Safety Shields
    KR 2025 · Andoni Rodríguez
  4. Shield Synthesis for LTL Modulo Theories
    AAAI 2025 · Andoni Rodríguez
  5. Adaptive Reactive Synthesis for LTL and LTLf Modulo Theories
    AAAI 2024 · Andoni Rodríguez