| Recursive Small-Step Multi-Agent A* for Dec-POMDPs W Koops, N Jansen, S Junges, TD Simão International Joint Conference on Artificial Intelligence (IJCAI), 2023 | 10 | 2023 |
| Policy Verification in Stochastic Dynamical Systems Using Logarithmic Neural Certificates T Badings, W Koops, S Junges, N Jansen International Conference on Computer Aided Verification (CAV), 349-375, 2025 | 7* | 2025 |
| Approximate Dec-POMDP Solving Using Multi-Agent A* W Koops, S Junges, N Jansen International Joint Conference on Artificial Intelligence (IJCAI), 2024 | 4 | 2024 |
| Practically Feasible Proof Logging for Pseudo-Boolean Optimization W Koops, D Le Berre, MO Myreen, J Nordström, A Oertel, YK Tan, ... 31st International Conference on Principles and Practice of Constraint …, 2025 | 3 | 2025 |
| Documentation of VeriPB and CakePB for the SAT Competition 2025 M Anders, B Bogaerts, B Bogø, A Gontier, W Koops, C McCreesh, ... | 2 | 2025 |
| Tighter Value-Function Approximations for POMDPs M Krale, W Koops, S Junges, TD Simão, N Jansen arXiv preprint arXiv:2502.06523, 2025 | 1 | 2025 |
| Faster Certified Symmetry Breaking Using Orders With Auxiliary Variables M Anders, B Bogaerts, B Bogø, A Gontier, W Koops, C McCreesh, ... arXiv preprint arXiv:2511.16637, 2025 | | 2025 |
| Satsuma+Kissat in the SAT Competition 2025 M Anders, B Bogaerts, B Bogø, A Gontier, W Koops, J Nordström, A Oertel SAT COMPETITION 2025 22 (9), 8, 2025 | | 2025 |
| A* Algorithms for Dec-POMDPs (Extended Abstract) W Koops | | 2024 |
| Collisions of Independent Random Walks in Infinite Graphs W Koops | | 2020 |
| Hard Combinatorial Instances with Symmetry M Anders, B Bogaerts, B Bogø, A Gontier, W Koops, J Nordström, A Oertel SAT COMPETITION 2025, 33, 0 | | |
Sebastian JungesAssistant Professor, Radboud University, NijmegenVerified email at ru.nl
