| emsoft | participants

Samvid Mistry

EMSOFT 2022: 22nd International Conference on Embedded Software

An MILP Encoding for Efficient Verification of Quantized Deep Neural Networks

Samvid Mistry, Indranil Saha, and Swarnendu Biswas