Pascal Bachor
2 papers · 2023–2024 · 1 conference · across top CS/AI conferences
Achievements
Jump to papers ↓
🌈
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)