2 citations · 4 across the 18 of their papers we have counts for
Showing 2024Show all
2 papers · 1 filter
cs.MS2024
The Python LevelSet Toolbox (LevelSetPy)
Lekan Molu
This paper describes open-source scientific contributions in python surrounding the numerical solutions to hyperbolic Hamilton-Jacobi (HJ) partial differential equations viz., thei…
cs.LG2024
Verification-Aided Learning of Neural Network Barrier Functions with Termination Guarantees
Shaoru Chen, Lekan Molu, Mahyar Fazlyab
Barrier functions are a general framework for establishing a safety guarantee for a system. However, there is no general method for finding these functions. To address this shortco…