@misc{indiciaef77d28261c90,
  title = {Bayesian Statistical Model Checking for Multi-agent Systems using HyperPCTL*},
  author = {Spandan Das and Pavithra Prabhakar},
  year = {2022},
  url = {https://arxiv.org/abs/2209.02672},
  note = {Source identifier: 2209.02672}
}