Learning-Aided Safe Controller Synthesis with Formal Guarantees via Vector Barrier Certificates.

Xia Zeng, Mengxin Ren, Zhiming Liu, Zhengfeng Yang

Browse the full DAC paper archive.