Pavithra Prabhakar | DeepAI

DeepAI AI Chat

Featured Co-authors

Atreyee Kundu
4 publications
Pavana Prabhakar
2 publications
Zahra Rahimi Afzal
2 publications
Spandan Das
2 publications

∙ 09/06/2022

Bayesian Statistical Model Checking for Multi-agent Systems using HyperPCTL*

In this paper, we present a Bayesian method for statistical model checki...

0 Spandan Das, et al. ∙

∙ 10/07/2021

Bisimulations for Neural Network Reduction

We present a notion of bisimulation that induces a reduced network which...

0 Pavithra Prabhakar, et al. ∙

∙ 09/17/2021

Probabilistic Stability Analysis of Planar Robots with Piecewise Constant Derivative Dynamics

In this paper, we study the probabilistic stability analysis of a subcla...

0 Spandan Das, et al. ∙

∙ 09/27/2020

Learning event-driven switched linear systems

We propose an automata theoretic learning algorithm for the identificati...

0 Atreyee Kundu, et al. ∙

∙ 07/19/2020

Optimal tool path planning for 3D printing with spatio-temporal and thermal constraints

In this paper, we address the problem of synthesizing optimal path plans...

0 Zahra Rahimi Afzal, et al. ∙

∙ 07/18/2020

Abstraction based Output Range Analysis for Neural Networks

In this paper, we consider the problem of output range analysis for feed...

0 Pavithra Prabhakar, et al. ∙

Are you a researcher?
Expose your work
to one of the largest
A.I. communities in the world