Kröger, Paul, and Martin Fränzle. 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). Wadern, Germany:05:1-05:27. https://doi.org/10.4230/LITES.8.2.5.