Wietze Koops

According to our database, Wietze Koops authored at least 9 papers between 2023 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2025

Tighter Value-Function Approximations for POMDPs.

Merlijn Krale, Wietze Koops, Sebastian Junges, Thiago D. Simão, Nils Jansen

Proceedings of the 24th International Conference on Autonomous Agents and Multiagent Systems, 2025

Practically Feasible Proof Logging for Pseudo-Boolean Optimization.

Wietze Koops, Daniel Le Berre, Magnus O. Myreen, Jakob Nordström, Andy Oertel, Yong Kiam Tan, Marc Vinyals

Proceedings of the 31st International Conference on Principles and Practice of Constraint Programming, 2025

Policy Verification in Stochastic Dynamical Systems Using Logarithmic Neural Certificates.

Thom S. Badings, Wietze Koops, Sebastian Junges, Nils Jansen

Proceedings of the Computer Aided Verification - 37th International Conference, 2025

2024

Supplementary Material for "Approximate Dec-POMDP Solving Using Multi-Agent A*".

Wietze Koops, Sebastian Junges, Nils Jansen

Dataset, May, 2024

Learning-Based Verification of Stochastic Dynamical Systems with Neural Network Policies.

Thom S. Badings, Wietze Koops, Sebastian Junges, Nils Jansen

CoRR, 2024

Approximate Dec-POMDP Solving Using Multi-Agent A.

Wietze Koops, Sebastian Junges, Nils Jansen

CoRR, 2024

Approximate Dec-POMDP Solving Using Multi-Agent A^*.

Wietze Koops, Sebastian Junges, Nils Jansen

Proceedings of the Thirty-Third International Joint Conference on Artificial Intelligence, 2024

2023

Supplementary Material for "Recursive Small-Step Multi-Agent A* for Dec-POMDPs".

Wietze Koops, Nils Jansen, Sebastian Junges, Thiago D. Simão

Dataset, May, 2023

Recursive Small-Step Multi-Agent A* for Dec-POMDPs.

Wietze Koops, Nils Jansen, Sebastian Junges, Thiago D. Simão

Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, 2023