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

A. Asadi, K. Chatterjee, A.K. Goharshady, K. Mohammadi, A. Pavlogiannis
January 2020
Type
Conference paper
Publication
International Symposium on Automated Technology for Verification and Analysis (ATVA), 2020