activity
20172021
most citedExact Synthesis of Reversible Logic Circuits using Model Checking

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

collaborators
Showing cs.AIShow all

1 paper · 1 filter

cs.AI2021★ 2 cited

Fast Falsification of Neural Networks using Property Directed Testing

Moumita Das, Rajarshi Ray, Swarup Kumar Mohalik +1

Neural networks are now extensively used in perception, prediction and control of autonomous systems. Their deployment in safety-critical systems brings forth the need for verifica…