PPaperPicks

Nicola Saccomanno

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

DBLP profile ↗ORCID search ↗

Venues

AAAI ×2ECAI ×1IJCAI ×1

Frequent coauthors

Andrea Brunello
DBLP profile ↗ORCID search ↗
×4

Papers

  1. Automata-less Monitoring via Trace-Checking
    AAAI 2026 ·
    Andrea Brunello
    DBLP profile ↗ORCID search ↗
  2. Do LLMs Really Struggle at NL-FOL Translation? Revealing Their Strengths via a Novel Benchmarking Strategy
    AAAI 2026 ·
    Andrea Brunello
    DBLP profile ↗ORCID search ↗
  3. Interpretable Early Failure Detection via Machine Learning and Trace Checking-Based Monitoring
    ECAI 2025 ·
    Andrea Brunello
    DBLP profile ↗ORCID search ↗
  4. Learning What to Monitor: Using Machine Learning to Improve past STL Monitoring
    IJCAI 2024 ·
    Andrea Brunello
    DBLP profile ↗ORCID search ↗