TY - GEN
AU - Kröger, Paul
AU - Fränzle, Martin
AU - Paul Kröger and Martin Fränzle
TI - Bayesian Hybrid Automata: A Formal Model of Justified Belief in Interacting Hybrid Systems Subject to Imprecise Observation
PB - Schloss Dagstuhl – Leibniz-Zentrum für Informatik
PY - 2022
N2 - Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen.
UR - http://slubdd.de/katalog?TN_libero_mab2
ER -
Download citation