PPaperPicks

Luca Geatti

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

DBLP profile ↗ORCID search ↗

Venues

AAAI ×4ECAI ×1IJCAI ×1

Frequent coauthors

Andrea Brunello
×4
Angelo Montanari
×4
Nicola Saccomanno
×4
Michele Mignani
×1
Alessandro Gianola
×1
Nicola Gigante
×1
Marco Montali
×1
Andrey Rivkin
×1

Papers

  1. Automata-less Monitoring via Trace-Checking
    AAAI 2026 ·
    Andrea Brunello
    , Luca Geatti,
    Angelo Montanari
    ,
    Nicola Saccomanno
  2. Do LLMs Really Struggle at NL-FOL Translation? Revealing Their Strengths via a Novel Benchmarking Strategy
    AAAI 2026 ·
    Andrea Brunello
    , Luca Geatti,
    Michele Mignani
    ,
    Angelo Montanari
    ,
    Nicola Saccomanno
  3. First-Order Automata
    AAAI 2025 · Luca Geatti,
    Alessandro Gianola
    ,
    Nicola Gigante
  4. Interpretable Early Failure Detection via Machine Learning and Trace Checking-Based Monitoring
    ECAI 2025 ·
    Andrea Brunello
    , Luca Geatti,
    Angelo Montanari
    ,
    Nicola Saccomanno
  5. Foundations of Reactive Synthesis for Declarative Process Specifications
    AAAI 2024 · Luca Geatti,
    Marco Montali
    ,
    Andrey Rivkin
  6. Learning What to Monitor: Using Machine Learning to Improve past STL Monitoring
    IJCAI 2024 ·
    Andrea Brunello
    , Luca Geatti,
    Angelo Montanari
    ,
    Nicola Saccomanno