Kröger, P.; Fränzle, M. Bayesian Hybrid Automata: A Formal Model of Justified Belief in Interacting Hybrid Systems Subject to Imprecise Observation. LITES 2022, 8, 05:1-05:27.