@misc{indiciae96fa62df1b48,
  title = {Deductive Controller Synthesis for Probabilistic Hyperproperties},
  author = {Roman Andriushchenko and Ezio Bartocci and Milan Ceska and Francesco Pontiggia and Sarah Sallinger},
  year = {2023},
  url = {https://arxiv.org/abs/2307.04503},
  note = {Source identifier: 2307.04503}
}