Generalized Parameter Lifting: Finer Abstractions for Parametric Markov Chains.

Linus Heck, Tim Quatmann, Jip Spel, Joost-Pieter Katoen, Sebastian Junges

Browse the full ATVA paper archive.