Search Results for author: Simeon Calvert

Found 1 papers, 1 papers with code

Safety Certification for Stochastic Systems via Neural Barrier Functions

1 code implementation3 Jun 2022 Frederik Baymler Mathiesen, Simeon Calvert, Luca Laurenti

In this paper, we parameterize a barrier function as a neural network and show that techniques for robust training of neural networks can be successfully employed to find neural barrier functions.

Cannot find the paper you are looking for? You can Submit a new open access paper.