We use Quarto to generate all outputs. @book{Nguyen2025TLBoC, author = {Duc-Tam Nguyen}, title = {The Little Book of C}, year = {2025}, url = {https://github.com ...

Abstract: The Branch-and-Bound(B&B) algorithm is an effective method for solving the Mixed Integer Linear Programming (MILP) problem. Its performance significantly impacts the overall performance of ...

Abstract: We propose a hybrid approach that combines Hamilton-Jacobi (HJ) reachability and mixed-integer optimization for solving a reach-avoid game with multiple attackers and defenders. The ...