Nicola Gigante
8 papers · 2016–2025 · 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 ↓
๐
Conference Polyglot ยท Bronze
๐
Academic Marathon ยท Sprint
๐
Interdisciplinary Bridge ยท Silver
๐ฃ
Hot Topic Early Bird
๐
Trend Setter
Top co-authors
Research topics
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
Bounded Timed Propositional Temporal Logic with Past Captures Timeline-based Planning with Bounded Constraints
IJCAI 2017
On the Complexity and Expressiveness of Automated Planning Languages Supporting Temporal Reasoning
IJCAI 2017
Leviathan: A New LTL Satisfiability Checking Tool Based on a One-Pass Tree-Shaped Tableau
IJCAI 2016