activity
20122023
most citedFast Falsification of Neural Networks using Property Directed Testing

2 citations · 2 across the 3 of their papers we have counts for

collaborators
Showing cs.ETShow all

1 paper · 1 filter

cs.ET2022

A Framework for Automated Correctness Checking of Biochemical Protocol Realizations on Digital Microfluidic Biochips

Sukanta Bhattacharjee, Ansuman Banerjee, Krishnendu Chakrabarty +1

Recent advances in digital microfluidic (DMF) technologies offer a promising platform for a wide variety of biochemical applications, such as DNA analysis, automated drug discovery…