Faster Algorithms for Quantitative Verification in Constant Treewidth Graphs



Chatterjee, Krishnendu, Ibsen-Jensen, Rasmus and Pavlogiannis, Andreas
(2015) Faster Algorithms for Quantitative Verification in Constant Treewidth Graphs. .

[img] Text
minmeancycle.pdf - Accepted Version

Download (884kB)
Item Type: Conference or Workshop Item (Unspecified)
Depositing User: Symplectic Admin
Date Deposited: 06 Dec 2018 09:11
Last Modified: 19 Jul 2022 11:41
DOI: 10.1007/978-3-319-21690-4_9
Related URLs:
URI: https://livrepository.liverpool.ac.uk/id/eprint/3029588