4 citations · 7 across the 5 of their papers we have counts for
Showing 2026Show all
2 papers · 1 filter
cs.LG2026
Training Mixed-Monotone Neural Networks for Verification Without Set Propagation
Jonas Fingerhut, Lukas Koller, Matthias Althoff
Most formal verification approaches for neural networks conservatively enclose the output set of the neural network. However, computing a tight output enclosure is in general compu…
eess.SY2026
Set-Based Training of Neural Barrier Certificates for Safety Verification of Dynamical Systems
Miriam Kranzlmüller, Lukas Koller, Tobias Ladner +1
Barrier certificates are scalar functions over the state space of dynamical systems that separate all unsafe states from all reachable states. The existence of a barrier certificat…