Probabilistic Causes in Markov Chains

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

Personen und Einrichtungen

Robin Ziemek - , Professur für Algebraische und logische Grundlagen der Informatik (Redner:in)

Datum

21 Okt. 2021

Konferenz

Titel	19th International Symposium on Automated Technology for Verification and Analysis
Kurztitel	ATVA 2021
Veranstaltungsnummer	19
Dauer	18 - 22 Oktober 2021
Webseite	https://formal-analysis.com/atva/2021/
Bekanntheitsgrad	Internationale Veranstaltung
Ort	online
Stadt	Gold Coast
Land	Australien

Schlagworte

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

Theoretische Informatik

Verknüpfte Inhalte

Veröffentlichungen

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/Gutachten › Beitrag in Buch/Sammelband/Gutachten › Beigetragen › Begutachtung

Alle Veröffentlichungen ansehen (1)