@misc{indiciae6165c48d8259,
  title = {Correct-by-Design Control of Parametric Stochastic Systems},
  author = {Oliver Schön and Birgit van Huijgevoort and Sofie Haesaert and Sadegh Soudjani},
  year = {2022},
  url = {https://arxiv.org/abs/2210.08269},
  note = {Source identifier: 2210.08269}
}