Incremental Synthesis of Safe Controller Guided by Learning-Enabled Barrier Certificates with Efficient LP Verification.

Niuniu Qi, Hanrui Zhao, Zhengfeng Yang, Xia Zeng, Mengxin Ren, Chao Peng, Zhiming Liu

Browse the full FM paper archive.