@Article{kroger_et_al:LITES.8.2.5,
author = {Kr\"{o}ger, Paul and Fr\"{a}nzle, Martin},
title = {{Bayesian Hybrid Automata: A Formal Model of Justified Belief in Interacting Hybrid Systems Subject to Imprecise Observation}},
journal = {Leibniz Transactions on Embedded Systems},
pages = {05:1--05:27},
ISSN = {2199-2002},
year = {2022},
volume = {8},
number = {2},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LITES.8.2.5},
doi = {10.4230/LITES.8.2.5},
annote = {Keywords: }
}