Simultaneous Synthesis and Verification of Neural Control Barrier Functions Through Branch-and-Bound Verification-in-the-Loop Training.
Xinyu WangLuzia KnödlerFrederik Baymler MathiesenJavier Alonso-MoraPublished in: ECC (2024)
Keyphrases
- branch and bound
- branch and bound algorithm
- lower bound
- optimal solution
- search space
- search algorithm
- upper bound
- column generation
- model checking
- combinatorial optimization
- beam search
- tree search algorithm
- network architecture
- neural network
- lagrangian heuristic
- branch and bound method
- randomly generated problems
- network design problem
- tree search
- search strategies
- particle swarm optimization