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. Wadern, Germany, 8(2), pp. 05:1–05:27. doi: 10.4230/LITES.8.2.5.