/Safety_Index_Synthesis

Code for L4DC 2022 paper: Joint Synthesis of Safety Certificate and Safe Control Policy Using Constrained Reinforcement Learning.

Primary LanguagePython

Stargazers