Search Results for author: Hengjun Zhao

Found 1 papers, 1 papers with code

Learning Safe Neural Network Controllers with Barrier Certificates

1 code implementation18 Sep 2020 Hengjun Zhao, Xia Zeng, Taolue Chen, Zhiming Liu, Jim Woodcock

We provide a novel approach to synthesize controllers for nonlinear continuous dynamical systems with control against safety properties.

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