Kröger, P. and Fränzle, M. 2022. Bayesian Hybrid Automata: A Formal Model of Justified Belief in Interacting Hybrid Systems Subject to Imprecise Observation. Leibniz Transactions on Embedded Systems. 8, 2 (Dec. 2022), 05:1–05:27. DOI:https://doi.org/10.4230/LITES.8.2.5.