Search Results for author: Jim Woodcock

Found 2 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.