Kröger, Paul, and Martin Fränzle. “Bayesian Hybrid Automata: A Formal Model of Justified Belief in Interacting Hybrid Systems Subject to Imprecise Observation”. Leibniz Transactions on Embedded Systems 8, no. 2 (December 7, 2022): 05:1–05:27. Accessed February 2, 2023. https://ojs.dagstuhl.de/index.php/lites/article/view/lites-v008-i002-a005.