APA (7th ed.) Citation

Vana, L., Visconti, E., Nenzi, L., Cadonna, A., & Kastner, G. (2021). Bayesian Machine Learning meets Formal Methods: An application to spatio-temporal data.

Chicago Style (17th ed.) Citation

Vana, Laura, Ennio Visconti, Laura Nenzi, Annalisa Cadonna, and Gregor Kastner. Bayesian Machine Learning Meets Formal Methods: An Application to Spatio-temporal Data. 2021.

MLA (9th ed.) Citation

Vana, Laura, et al. Bayesian Machine Learning Meets Formal Methods: An Application to Spatio-temporal Data. 2021.