Neil F. Lugovoy

Bridging Hamilton-Jacobi Safety Analysis and Reinforcement Learning

Safety analysis is a necessary component in the design and deployment of autonomous robotic systems. Techniques from robust optimal control theory, such as Hamilton-Jacobi reachability analysis, allow a rigorous formalization of safety as guaranteed constraint satisfaction. Unfortunately, the comput…