6 citations · 8 across the 2 of their papers we have counts for
2 papers
eess.SY2022★ 6 cited
OptimizedDP: An Efficient, User-friendly Library For Optimal Control and Dynamic Programming
Minh Bui, Hanyang Hu, Chong He +4
This paper introduces OptimizedDP, a high-performance software library for several common grid-based dynamic programming (DP) algorithms used in control theory and robotics. Specif…
eess.SY2020★ 2 cited
Real-Time Formal Verification of Autonomous Systems With An FPGA
Minh Bui, Michael Lu, Reza Hojabr +2
Hamilton-Jacobi reachability analysis is a powerful technique used to verify the safety of autonomous systems. This method is very good at handling non-linear system dynamics with…