pith. sign in

Angelo Montanari

Identifiers

  • name variant Angelo Montanari 0.60 · backfill

Papers (5)

  1. Fixing FOLIO and MALLS: Verified Annotations and an LLM-assisted Framework to Focus Human Relabeling cs.CL · 2026 · author #5
  2. Undecidability of future timeline-based planning over dense temporal domains cs.FL · 2019 · author #3
  3. A game-theoretic approach to timeline-based planning with uncertainty cs.AI · 2018 · author #2
  4. Interval vs. Point Temporal Logic Model Checking: an Expressiveness Comparison cs.LO · 2017 · author #3
  5. Model Checking for Fragments of Halpern and Shoham's Interval Temporal Logic Based on Track Representatives cs.LO · 2017 · author #2

Mentions

  • 2606.02837 #5 · arxiv_oai · confidence 0.70 Angelo Montanari

Frequent Coauthors