Qi Zhu
EMSOFT 2021: 21st International Conference on Embedded Software
Cross-Layer Adaptation with Safety-Assured Proactive Task Job Skipping
EMSOFT 2020: 20th International Conference on Embedded Software
Divide and Slide: Layer-Wise Refinement for Output Range Analysis of Deep Neural Networks
EMSOFT 2019: 19th International Conference on Embedded Software
ReachNN: Reachability Analysis of Neural-Network Controlled Systems