Angelo Montanari
7 papers · 2016–2026 · 2 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+4 more ↓ Show less ↑
π Cross-Pollinator (14) π Academic Marathon (8) π§ Keyword Pioneer π Conference Polyglot (2) π Renaissance Researcher (5)
π
Interdisciplinary Bridge
πΊοΈ
Taxonomy Completionist
(11)
β
The Questioner
π
Trend Setter
Conferences
AAAI (4)
IJCAI (3)
Top co-authors
Keywords
formal verification
(2)
computational complexity
(2)
linear temporal logic
(2)
semantic parsing
(1)
semantic analysis
(1)
automated reasoning
(1)
machine learning
(1)
complexity analysis
(1)
first-order logic
(1)
natural language
(1)
temporal logic
(1)
real-time system
(1)
runtime verification
(1)
deterministic finite automaton
(1)
genetic programming
(1)
action planning
(1)
runtime monitoring
(1)
signal temporal logic
(1)
dense time
(1)
discrete time
(1)
Papers
Automata-less Monitoring via Trace-Checking
AAAI 2026
Do LLMs Really Struggle at NL-FOL Translation? Revealing Their Strengths via a Novel Benchmarking Strategy
AAAI 2026
Learning What to Monitor: Using Machine Learning to Improve past STL Monitoring
IJCAI 2024
Complexity of Safety and coSafety Fragments of Linear Temporal Logic
AAAI 2023
Decidability and Complexity of Action-Based Temporal Planning over Dense Time
AAAI 2020
Bounded Timed Propositional Temporal Logic with Past Captures Timeline-based Planning with Bounded Constraints
IJCAI 2017
Leviathan: A New LTL Satisfiability Checking Tool Based on a One-Pass Tree-Shaped Tableau
IJCAI 2016