Wietze Koops

11 papers A* 3A 2Journal 5Unranked 1
YearRankTypeTitle / Venue / Authors
2026 A* conf
Faster Certified Symmetry Breaking Using Orders with Auxiliary Variables.
AAAI
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
2025 J jnl
Certifying Algorithms for Automated Reasoning (Dagstuhl Seminar 25231).
Dagstuhl Reports
Nikolaj S. Bjørner, Marijn J. H. Heule, Daniela Kaufmann, Jakob Nordström, Wietze Koops
2025 J jnl
Faster Certified Symmetry Breaking Using Orders With Auxiliary Variables.
CoRR
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
2025 — conf
Policy Verification in Stochastic Dynamical Systems Using Logarithmic Neural Certificates.
CAV (2)
Thom Badings, Wietze Koops, Sebastian Junges, Nils Jansen
2025 A conf
Practically Feasible Proof Logging for Pseudo-Boolean Optimization.
CP
Wietze Koops, Daniel Le Berre, Magnus O. Myreen, Jakob Nordström, Andy Oertel, Yong Kiam Tan, Marc Vinyals
2025 A conf
Tighter Value-Function Approximations for POMDPs.
AAMAS
Merlijn Krale, Wietze Koops, Sebastian Junges, Thiago D. Simão, Nils Jansen
2025 J jnl
Tighter Value-Function Approximations for POMDPs.
CoRR
Merlijn Krale, Wietze Koops, Sebastian Junges, Thiago D. Simão, Nils Jansen
2024 A* conf
Approximate Dec-POMDP Solving Using Multi-Agent A
IJCAI
Wietze Koops, Sebastian Junges, Nils Jansen
2024 J jnl
Approximate Dec-POMDP Solving Using Multi-Agent A.
CoRR
Wietze Koops, Sebastian Junges, Nils Jansen
2024 J jnl
Learning-Based Verification of Stochastic Dynamical Systems with Neural Network Policies.
CoRR
Thom Badings, Wietze Koops, Sebastian Junges, Nils Jansen
2023 A* conf
Recursive Small-Step Multi-Agent A* for Dec-POMDPs.
IJCAI
Wietze Koops, Nils Jansen, Sebastian Junges, Thiago D. Simão