4 citations · 6 across the 2 of their papers we have counts for
3 papers
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…
cs.DC2018
Simultaneous Solving of Batched Linear Programs on a GPU
Amit Gurung, Rajarshi Ray
Linear Programs (LPs) appear in a large number of applications and offloading them to a GPU is viable to gain performance. Existing work on offloading and solving an LP on a GPU su…
cs.ET2017★ 4 cited
Exact Synthesis of Reversible Logic Circuits using Model Checking
Rajarshi Ray, Arup Deka, Kamalika Datta
Synthesis of reversible logic circuits has gained great atten- tion during the last decade. Various synthesis techniques have been pro- posed, some generate optimal solutions (in g…