Nicola Gigante
8 papers · 2016–2025 · 2 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+3 more ↓ Show less ↑
🌍 Conference Polyglot (2) 🏃 Academic Marathon (9) 🌈 Renaissance Researcher (5) 🌉 Interdisciplinary Bridge 🐝 Cross-Pollinator (14)
🧭
Keyword Pioneer
🐣
Hot Topic Early Bird
📈
Trend Setter
Conferences
IJCAI (5)
AAAI (3)
Top co-authors
Keywords
linear temporal logic
(3)
formal verification
(3)
complexity analysis
(2)
computational complexity
(2)
timeline-based planning
(2)
temporal logic
(1)
model checking
(1)
real-time system
(1)
classical planning
(1)
automata theory
(1)
finite trace
(1)
regular language
(1)
action planning
(1)
dense time
(1)
satisfiability modulo theories
(1)
discrete time
(1)
cosafety fragment
(1)
planning language
(1)
bounded numeric planning
(1)
plan size
(1)
Papers
First-Order Automata
AAAI 2025
Complexity of Safety and coSafety Fragments of Linear Temporal Logic
AAAI 2023
On the Compilability of Bounded Numeric Planning
IJCAI 2023
Linear Temporal Logic Modulo Theories over Finite Traces
IJCAI 2022
Decidability and Complexity of Action-Based Temporal Planning over Dense Time
AAAI 2020
On the Complexity and Expressiveness of Automated Planning Languages Supporting Temporal Reasoning
IJCAI 2017
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