Quantitative Verification of Weighted Kripke Structures.

Patricia Bouyer, Patrick Gardy, Nicolas Markey

Browse the full ATVA paper archive.