Swarnendu Biswas
EMSOFT 2022: 22nd International Conference on Embedded Software
An MILP Encoding for Efficient Verification of Quantized Deep Neural Networks
EMSOFT 2021: 21st International Conference on Embedded Software
Thermal-aware Adaptive Platform Management for Heterogeneous Embedded Systems