Learning Safe Neural Network Controllers with Barrier Certificates.

Hengjun Zhao, Xia Zeng, Taolue Chen, Zhiming Liu, Jim Woodcock

Browse the full SETTA paper archive.