activity
20202025
most citedAbstraction based Output Range Analysis for Neural Networks

22 citations · 22 across the 4 of their papers we have counts for

collaborators
Showing cs.MAShow all

1 paper · 1 filter

cs.MA2022

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

Spandan Das, Pavithra Prabhakar

In this paper, we present a Bayesian method for statistical model checking (SMC) of probabilistic hyperproperties specified in the logic HyperPCTL* on discrete-time Markov chains (…