Faster Algorithms for Quantitative Analysis of MCs and MDPs with Small Treewidth

Publication
International Symposium on Automated Technology for Verification and Analysis (ATVA)