KRÖGER, P.; FRÄNZLE, M. Bayesian Hybrid Automata: A Formal Model of Justified Belief in Interacting Hybrid Systems Subject to Imprecise Observation. Leibniz Transactions on Embedded Systems, Wadern, Germany, v. 8, n. 2, p. 05:1–05:27, 2022. DOI: 10.4230/LITES.8.2.5. Disponível em: https://ojs.dagstuhl.de/index.php/lites/article/view/lites-v008-i002-a005. Acesso em: 2 feb. 2023.