publications

2025

2025

1. CP

   Practically Feasible Proof Logging for Pseudo-Boolean Optimization

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

   In CP, 2025
2. CAV

   Policy Verification in Stochastic Dynamical Systems Using Logarithmic Neural Certificates

   Thom Badings, Wietze Koops, Sebastian Junges, and Nils Jansen

   In CAV, 2025

   arXiv Bib Code

   @inproceedings{badings2025PolicyVerification,
     author = {Badings, Thom and Koops, Wietze and Junges, Sebastian and Jansen, Nils},
     title = {Policy Verification in Stochastic Dynamical Systems 
                       Using Logarithmic Neural Certificates},
     booktitle = {{CAV}},
     year = {2025},
     keywords = {reviewed,conference},
   }

3. AAMAS

   Tighter Value-Function Approximations for POMDPs

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

   In AAMAS, 2025

   arXiv Bib PDF Code

   @inproceedings{krale2025tighter,
     author = {Krale, Merlijn and Koops, Wietze and Sim{\~{a}}o, Thiago D. and Junges, Sebastian and Jansen, Nils},
     title = {Tighter Value-Function Approximations for {POMDP}s},
     booktitle = {{AAMAS}},
     pages = {1200--1208},
     year = {2025},
     keywords = {reviewed,conference},
   }

2024

2024

1. IJCAI

   Approximate Dec-POMDP Solving Using Multi-Agent A*

   Wietze Koops, Sebastian Junges, and Nils Jansen

   In IJCAI, 2024

   arXiv Bib HTML PDF Code

   @inproceedings{koops24approximate,
     author = {Koops, Wietze and Junges, Sebastian and Jansen, Nils},
     title = {Approximate {Dec-POMDP} Solving Using Multi-Agent {A*}},
     booktitle = {{IJCAI}},
     pages = {6743--6751},
     year = {2024},
     keywords = {reviewed,conference},
   }

2023

2023

1. IJCAI

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

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

   In IJCAI, 2023

   Bib HTML PDF Code

   @inproceedings{koops2023recursive,
     author = {Koops, Wietze and Jansen, Nils and Junges, Sebastian and Sim{\~{a}}o, Thiago D.},
     title = {Recursive Small-Step Multi-Agent {A*} for {Dec-POMDP}s},
     booktitle = {{IJCAI}},
     pages = {5402--5410},
     year = {2023},
     keywords = {reviewed,conference},
   }