Ji Wang
EMSOFT 2022: 22nd International Conference on Embedded Software
Efficient Complete Verification of Neural Networks via Layerwised Splitting and Refinement
EMSOFT 2015: 15th International Conference on Embedded Software
Numerical Static Analysis of Interrupt-driven Programs via Sequentialization