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 (…