22 citations · 22 across the 7 of their papers we have counts for
Showing 2021Show all
2 papers · 1 filter
cs.LG2021
Bisimulations for Neural Network Reduction
Pavithra Prabhakar
We present a notion of bisimulation that induces a reduced network which is semantically equivalent to the given neural network. We provide a minimization algorithm to construct th…
cs.RO2021
Stability Analysis of Planar Probabilistic Piecewise Constant Derivative Systems
Spandan Das, Pavithra Prabhakar
In this paper, we study the probabilistic stability analysis of a subclass of stochastic hybrid systems, called the Planar Probabilistic Piecewise Constant Derivative Systems (Plan…