TY  - RPRT
TI  - Bayesian Machine Learning meets Formal Methods: An application to spatio-temporal data
AU  - Laura Vana
AU  - Ennio Visconti
AU  - Laura Nenzi
AU  - Annalisa Cadonna
AU  - Gregor Kastner
PY  - 2024
DO  - 10.1145/3708479
UR  - https://arxiv.org/abs/2110.01360
ID  - 2110.01360
ER  -