Stefan Panjkovic
3 papers
· 2022–2024
· 1 conference
· across top CS/AI conferences
Achievements
🌈
Renaissance Researcher
(5)
🌉
Interdisciplinary Bridge
🧭
Keyword Pioneer
🐝
Cross-Pollinator
(9)
Conferences
AAAI (3)
Top co-authors
Keywords
temporal planning
(3)
optimization modulo theory
(2)
optimal planning
(2)
makespan optimization
(2)
industrial automation
(1)
decision procedure
(1)
optimal temporal planning
(1)
action scheduling
(1)
abstract action
(1)
unsolvability detection
(1)
abstract action scheduling
(1)
abstract scheduling
(1)
heuristic search
(1)
model checking
(1)
action planning
(1)