@misc{indiciaed976a498fcd5,
  title = {Verifying the Unknown: Correct-by-Design Control Synthesis for Networks of Stochastic Uncertain Systems},
  author = {Oliver Schön and Birgit van Huijgevoort and Sofie Haesaert and Sadegh Soudjani},
  year = {2023},
  url = {https://arxiv.org/abs/2309.01276},
  note = {Source identifier: 2309.01276}
}