Wietze Koops

According to our database, Wietze Koops authored at least 13 papers between 2023 and 2026.

Collaborative distances:

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

2026

Faster Certified Symmetry Breaking Using Orders with Auxiliary Variables.

Markus Anders, Bart Bogaerts, Benjamin Bogø, Arthur Gontier, Wietze Koops, Ciaran McCreesh, Magnus O. Myreen, Jakob Nordström, Andy Oertel, Adrian Rebola-Pardo, Yong Kiam Tan

Proceedings of the Fortieth AAAI Conference on Artificial Intelligence, 2026

2025

Certifying Algorithms for Automated Reasoning (Dagstuhl Seminar 25231).

Nikolaj S. Bjørner, Marijn J. H. Heule, Daniela Kaufmann, Jakob Nordström, Wietze Koops

Dagstuhl Reports, June, 2025

Experiments for 'Policy Verification in Stochastic Dynamical Systems Using Logarithmic Neural Certificates'.

Thom Badings, Wietze Koops, Sebastian Junges, Nils Jansen

Dataset, May, 2025

Experiments for 'Policy Verification in Stochastic Dynamical Systems Using Logarithmic Neural Certificates'.

Thom Badings, Wietze Koops, Sebastian Junges, Nils Jansen

Dataset, April, 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 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 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