@misc{indiciaef4cc8ffc42e8,
  title = {Data-Driven Yet Formal Policy Synthesis for Stochastic Nonlinear Dynamical Systems},
  author = {Mahdi Nazeri and Thom Badings and Sadegh Soudjani and Alessandro Abate},
  year = {2025},
  url = {https://arxiv.org/abs/2501.01191},
  note = {Source identifier: 2501.01191}
}