Probabilistic Causes in Markov Chains

Activity: Talk or presentation at external institutions/events › Talk/Presentation › Contributed

Persons and affiliations

Robin Ziemek - , Chair of Algebraic and Logical Foundations of Computer Science (Speaker)

Date

21 Oct 2021

Conference

Title	19th International Symposium on Automated Technology for Verification and Analysis
Abbreviated title	ATVA 2021
Conference number	19
Duration	18 - 22 October 2021
Website	https://formal-analysis.com/atva/2021/
Degree of recognition	International event
Location	online
City	Gold Coast
Country	Australia

Keywords

Subject groups, research areas, subject areas according to Destatis

Theoretical Computer Science

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. (eds.). Springer, Berlin [u. a.], p. 205–221 17 p. (Lecture Notes in Computer Science, Volume 12971).

Research output: Contribution to book/Conference proceedings/Anthology/Report › Chapter in book/Anthology/Report › Contributed › peer-review

View all research output (1)

Research Portal of the TU Dresden

Probabilistic Causes in Markov Chains

Persons and affiliations

Date

Conference

Keywords

Subject groups, research areas, subject areas according to Destatis

Related content

Probabilistic Causes in Markov Chains