@misc{indiciae9a5d4e2df4ae,
  title = {Rational Verification for Probabilistic Systems},
  author = {Julian Gutierrez and Lewis Hammond and Anthony W. Lin and Muhammad Najib and Michael Wooldridge},
  year = {2021},
  url = {https://arxiv.org/abs/2107.09119},
  note = {Source identifier: 2107.09119}
}