@misc{indiciae4965cf5d8529,
  title = {Data-Driven Abstraction and Synthesis for Stochastic Systems with Unknown Dynamics},
  author = {Mahdi Nazeri and Thom Badings and Anne-Kathrin Schmuck and Sadegh Soudjani and Alessandro Abate},
  year = {2025},
  url = {https://arxiv.org/abs/2508.15543},
  note = {Source identifier: 2508.15543}
}