Media type: E-Article Title: Bayesian hybrid automata : a formal model of justified belief in interacting hybrid systems subject to imprecise observation Contributor: Kröger, Paul [VerfasserIn]; Fränzle, Martin [VerfasserIn] imprint: 2022 Published in: Leibniz Transactions on Embedded Systems ; 8(2022), 2, Seite 1-27 Language: English DOI: 10.4230/LITES.8.2.5 ISSN: 2199-2002 Identifier: Origination: Footnote: Access State: Open Access