@article{lucidlearningenableduncertaintyawarecert,
  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},
  eprint = {2512.11750},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2512.11750},
}