PPaperPicks

César Sánchez

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

DBLP profile ↗ORCID search ↗

Venues

KR ×3AAAI ×2

Frequent coauthors

Andoni Rodríguez
DBLP profile ↗ORCID search ↗
×4
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
    DBLP profile ↗ORCID search ↗
  3. Explanations for Unrealizability of Infinite-State Safety Shields
    KR 2025 ·
    Andoni Rodríguez
    DBLP profile ↗ORCID search ↗
  4. Shield Synthesis for LTL Modulo Theories
    AAAI 2025 ·
    Andoni Rodríguez
    DBLP profile ↗ORCID search ↗
  5. Adaptive Reactive Synthesis for LTL and LTLf Modulo Theories
    AAAI 2024 ·
    Andoni Rodríguez
    DBLP profile ↗ORCID search ↗