ReachLipBnB: A branch-and-bound method for reachability analysis of neural autonomous systems using Lipschitz bounds.
Taha EntesariSina SharifiMahyar FazlyabPublished in: ICRA (2023)
Keyphrases
- autonomous systems
- branch and bound method
- reachability analysis
- lower bound
- branch and bound
- upper bound
- branch and bound algorithm
- markov decision processes
- model checking
- reduce the search space
- optimal configuration
- lower and upper bounds
- neural network
- feasible solution
- timed automata
- mixed integer programming
- incremental algorithms
- autonomous navigation
- dynamic environments
- np hard
- state space
- objective function
- optimal solution
- column generation
- combinatorial optimization
- situation awareness
- video sequences