Nicola Gigante
8 papers
· 2016–2025
· 2 conferences
· across top CS/AI conferences
Achievements
🌍
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