@misc{indiciae5dda0082573a,
  title = {Bayesian Machine Learning meets Formal Methods: An application to spatio-temporal data},
  author = {Laura Vana and Ennio Visconti and Laura Nenzi and Annalisa Cadonna and Gregor Kastner},
  year = {2024},
  doi = {10.1145/3708479},
  url = {https://arxiv.org/abs/2110.01360},
  note = {Source identifier: 2110.01360}
}