Pascal Bachor
2 papers
· 2023–2024
· 1 conference
· across top CS/AI conferences
Achievements
🌈
Renaissance Researcher
(5)
🌉
Interdisciplinary Bridge
🧭
Keyword Pioneer
🐝
Cross-Pollinator
(14)
Conferences
AAAI (2)
Top co-authors
Keywords
automated planning
(1)
computational complexity
(1)
complexity analysis
(1)
collision avoidance
(1)
sat solver
(1)
classical planning
(1)
multi-agent pathfinding
(1)
sat solving
(1)
planning domain
(1)
action model
(1)
makespan optimization
(1)
container transport
(1)
trace analysis
(1)
domain learning
(1)
multi-agent transportation
(1)