| emsoft | participants

Banghu Yin

EMSOFT 2022: 22nd International Conference on Embedded Software

Efficient Complete Verification of Neural Networks via Layerwised Splitting and Refinement

Banghu Yin, Liqian Chen, Jiangchao Liu, and Ji Wang