Verifikation von bedingter Unabhängigkeit in dynamischen Bayesschen Netzwerken
Dynamic Bayesian Networks (DBNs) sind kompakte graphische Modelle, die probabilistische Systeme beschreiben, in denen sich abhängige Zufallsvariablen und ihre Verteilungen im Zeitverlauf verändern. In der vorliegenden Arbeit wird untersucht, wie die Entwicklung von bedingten Unabhängigkeits‑(CI)‑Aussagen gegen zeitliche Logik‑Spezifikationen verifiziert werden kann.
