Angelo Montanari
7 papers · 2016–2026 · 2 venues · across top CS/AI venues
Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.
Achievements
Jump to papers ↓+1 more ↓ Show less ↑
π Conference Polyglot Β· Bronze π Academic Marathon Β· Half π Interdisciplinary Bridge Β· Silver πΊοΈ Taxonomy Completionist (11) β The Questioner
π
Trend Setter
Top co-authors
Research topics
Artificial Intelligence
(3)
Computer Science
(3)
Machine Learning
(3)
Core AI
(3)
Optimization & Theory
(3)
Knowledge & Reasoning
(2)
Foundations
(2)
Reasoning
(2)
Natural Language Processing
(1)
Applications Β· Computer Science
(1)
Applications Β· Natural Language Processing
(1)
Generation
(1)
Understanding
(1)
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