Krishnendu Chatterjee, Rasmus Ibsen-Jensen, Andreas Pavlogiannis. Quantitative Verification on Product Graphs of Small Treewidth. In Mikolaj Bojanczyk, Chandra Chekuri, editors, 41st IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2021, December 15-17, 2021, Virtual Conference. Volume 213 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2021. [doi]
Abstract is missing.