Kröger P, Fränzle M. Bayesian Hybrid Automata: A Formal Model of Justified Belief in Interacting Hybrid Systems Subject to Imprecise Observation. LITES [Internet]. 2022 Dec. 7 [cited 2023 Jun. 6];8(2):05:1-05:27. Available from: https://ojs.dagstuhl.de/index.php/lites/article/view/lites-v008-i002-a005