Parametric Markov chains: PCTL complexity and fraction-free Gaussian elimination
| Autor: | Baier, Christel, Hensel, Christian, Hutschenreiter, Lisa, Junges, Sebastian, Katoen, Joost-Pieter, Klein, Joachim |
|---|---|
| Zdroj: | In Information and Computation June 2020 272 |
| Databáze: | ScienceDirect |
| Externí odkaz: |
|
Full Text from ScienceDirect