Spandan Das | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat Ghibli AI

Featured Co-authors

Pavithra Prabhakar
6 publications

research

∙ 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. ∙

research

∙ 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. ∙