no code implementations • 11 Oct 2022 • Ahmad Abuaish, Mohit Srinivasan, Patricio A. Vela
This manuscript describes the specific geometry of the neural network used for zeroing barrier function synthesis, and shows how the network provides the necessary representation for splitting the state space into safe and unsafe regions.