acm sigbed
|
emsoft
|
participants
Miheer Dewaskar
EMSOFT 2022: 22nd International Conference on Embedded Software
NExG: Provable and Guided State-Space Exploration of Neural Network Control Systems Using Sensitivity Approximation
Manish Goyal
,
Miheer Dewaskar
, and
Parasara Sridhar Duggirala
10.1109/TCAD.2022.3197524
https://arxiv.org/abs/2207.03884