3 papers
cs.LO2025
Faster Certified Symmetry Breaking Using Orders With Auxiliary Variables
Markus Anders, Bart Bogaerts, Benjamin Bogø +8
Symmetry breaking is a crucial technique in modern combinatorial solving, but it is difficult to be sure it is implemented correctly. The most successful approach to deal with bugs…
cs.LG2025
Policy Verification in Stochastic Dynamical Systems Using Logarithmic Neural Certificates
Thom Badings, Wietze Koops, Sebastian Junges +1
We consider the verification of neural network policies for discrete-time stochastic systems with respect to reach-avoid specifications. We use a learner-verifier procedure that le…
cs.AI2025
Tighter Value-Function Approximations for POMDPs
Merlijn Krale, Wietze Koops, Sebastian Junges +2
Solving partially observable Markov decision processes (POMDPs) typically requires reasoning about the values of exponentially many state beliefs. Towards practical performance, st…