20 citations · 28 across the 5 of their papers we have counts for
6 papers
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…
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…
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…
An Efficient Algorithm for Vertex Enumeration of Two-Dimensional Projection of Polytopes
Amit Gurung, Rajarshi Ray
An efficient algorithm to enumerate the vertices of a two-dimensional (2D) projection of a polytope, is presented in this paper. The proposed algorithm uses the support function of…
Solving Batched Linear Programs on GPU and Multicore CPU
Amit Gurung, Rajarshi Ray
Linear Programs (LPs) appear in a large number of applications and offloading them to the GPU is viable to gain performance. Existing work on offloading and solving an LP on GPU su…
Parallel Reachability Analysis for Hybrid Systems
Amit Gurung, Arup Deka, Ezio Bartocci +3
We propose two parallel state-space exploration algorithms for hybrid systems with the goal of enhancing performance on multi-core shared memory systems. The first is an adaption o…