3 papers
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…
math.OC2023
Mixed -Policy Learning Synthesis
Lekan Molu
A robustly stabilizing optimal control policy in a model-free mixed -control setting is here put forward for counterbalancing the slow convergence…