@misc{indiciae262af6a799d4,
  title = {LUCID: Learning-Enabled Uncertainty-Aware Certification of Stochastic Dynamical Systems},
  author = {Ernesto Casablanca and Oliver Schön and Paolo Zuliani and Sadegh Soudjani},
  year = {2025},
  url = {https://arxiv.org/abs/2512.11750},
  note = {Source identifier: 2512.11750}
}