GitHub repository: nikovert/certified_HJreachability
Primary language: Python
Description: A Python package for certified Hamilton-Jacobi reachability analysis.