Wietze Koops

3 papers · 2023–2026 · 2 conferences · across top CS/AI conferences

Achievements

🌍 Conference Polyglot (2) 🌉 Interdisciplinary Bridge 🧭 Keyword Pioneer 🐝 Cross-Pollinator (11)

Conferences

IJCAI (2) AAAI (1)

Top co-authors

Sebastian Junges (2) Nils Jansen (2) Markus Anders (1) Arthur Gontier (1) Jakob Nordström (1) Andy Oertel (1) Magnus O. Myreen (1) Ciaran McCreesh (1) Bart Bogaerts (1) Yong Kiam Tan (1)

Keywords

multi-agent planning (2) heuristic search (1) formal verification (1) approximate planning (1) auxiliary variable (1) decentralized pomdp (1) search tree (1) symmetry breaking (1) policy computation (1) proof logging (1) expected reward (1) combinatorial optimization (1) recursive heuristic (1)

Papers

Faster Certified Symmetry Breaking Using Orders with Auxiliary Variables AAAI 2026

Approximate Dec-POMDP Solving Using Multi-Agent A* IJCAI 2024

Recursive Small-Step Multi-Agent A* for Dec-POMDPs IJCAI 2023