Kröger, P., & 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), 05:1–05:27. https://doi.org/10.4230/LITES.8.2.5