Recursive Small-Step Multi-Agent A* for Dec-POMDPs. - Wietze Koops; Nils Jansen 001; Sebastian Junges; Thiago D. Simão (IJCAI, 2023)

Supplementary Material for "Recursive Small-Step Multi-Agent A* for Dec-POMDPs". - Wietze Koops; Nils Jansen 001; Sebastian Junges; Thiago D. Simão (Zenodo, 2023)

Approximate Dec-POMDP Solving Using Multi-Agent A*. - Wietze Koops; Sebastian Junges; Nils Jansen 001 (IJCAI, 2024)

Approximate Dec-POMDP Solving Using Multi-Agent A. - Wietze Koops; Sebastian Junges; Nils Jansen 001 (CoRR, 2024)

Learning-Based Verification of Stochastic Dynamical Systems with Neural Network Policies. - Thom S. Badings; Wietze Koops; Sebastian Junges; Nils Jansen 001 (CoRR, 2024)

Supplementary Material for "Approximate Dec-POMDP Solving Using Multi-Agent A*". - Wietze Koops; Sebastian Junges; Nils Jansen 001 (Zenodo, 2024)

Policy Verification in Stochastic Dynamical Systems Using Logarithmic Neural Certificates. - Thom S. Badings; Wietze Koops; Sebastian Junges; Nils Jansen 001 (CAV (2), 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 (CP, 2025)

Tighter Value-Function Approximations for POMDPs. - Merlijn Krale; Wietze Koops; Sebastian Junges; Thiago D. Simão; Nils Jansen 001 (AAMAS, 2025)