Weiter zum Inhalt Weiter zur Fußzeile

Probabilistic Causes in Markov Chains

Aktivität: Vortrag oder Präsentation an externen Einrichtungen/VeranstaltungenVortragBeigetragen

Datum

21 Okt. 2021

Konferenz

Titel19th International Symposium on Automated Technology for Verification and Analysis
KurztitelATVA 2021
Veranstaltungsnummer19
Dauer18 - 22 Oktober 2021
Webseite
BekanntheitsgradInternationale Veranstaltung
Ortonline
StadtGold Coast
LandAustralien

Schlagworte

Fächergruppen, Lehr- und Forschungsbereiche, Fachgebiete nach Destatis

Verknüpfte Inhalte

Probabilistic Causality in Markovian Models

Ziemek, R., 23 Sept. 2024, 162 S.

Publikation: Hochschulschrift/AbschlussarbeitDissertation

Probabilistic Causes in Markov Chains

Baier, C., Funke, F., Jantsch, S., Piribauer, J. & Ziemek, R., 2021, Automated Technology for Verification and Analysis: 19th International Symposium, ATVA 2021, Gold Coast, QLD, Australia, October 18–22, 2021, Proceedings. Hou, Z. & Ganesh, V. (Hrsg.). Springer, Berlin [u. a.], S. 205–221 17 S. (Lecture Notes in Computer Science, Volume 12971).

Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/GutachtenBeitrag in Buch/Sammelband/GutachtenBeigetragenBegutachtung