Alessandro Cimatti
4 papers
· 2016–2022
· 2 conferences
· across top CS/AI conferences
Achievements
🌈
Renaissance Researcher
(5)
🌍
Conference Polyglot
(2)
🏃
Academic Marathon
(6)
🐝
Cross-Pollinator
(12)
🌉
Interdisciplinary Bridge
🧭
Keyword Pioneer
🚀
Conference Pioneer
Conferences
AAAI (3)
IJCAI (1)
Top co-authors
Keywords
temporal planning
(3)
heuristic search
(2)
plan robustness
(1)
model checking
(1)
deadline constraint
(1)
satisfiability modulo theory
(1)
parallel action
(1)
satisfiability modulo theories
(1)
decision procedure
(1)
planning domain
(1)
unsolvability detection
(1)
simple temporal network
(1)
plan validation
(1)
action duration
(1)
robustness envelope
(1)
automated planning
(1)