Semantics for Cyclic Bayesian Networks

Aktivität: Vortrag oder Präsentation an externen Einrichtungen/Veranstaltungen › Vortrag › Beigetragen

Personen und Einrichtungen

Nikolai Käfer - , Professur für Algebraische und logische Grundlagen der Informatik (Redner:in)

Datum

17 Juli 2023

Workshop

Titel	Workshop on Verification of Probabilistic Programs 2023
Kurztitel	VeriProP 2023
Dauer	17 Juli 2023
Webseite	https://veriprop.github.io/2023/
Ort	Maison de la Chimie
Stadt	Paris
Land	Frankreich

Schlagworte

Verknüpfte Inhalte

Veröffentlichungen

On the Foundations of Cycles in Bayesian Networks

Baier, C., Dubslaff, C., Hermanns, H. & Käfer, N., 2022, Principles of Systems Design: Essays Dedicated to Thomas A. Henzinger on the Occasion of His 60th Birthday. Raskin, J.-F., Chatterjee, K., Doyen, L. & Majumdar, R. (Hrsg.). Springer, Cham, S. 343-363 21 S. (Lecture Notes in Computer Science, Band 13660 LNCS).

Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten › Beitrag in Buch/Sammelband/Gutachten › Beigetragen › Begutachtung

Alle Veröffentlichungen ansehen (1)

Forschungsportal der TU Dresden

Personen und Einrichtungen

Datum

Workshop

Schlagworte

Verknüpfte Inhalte