Parametric Markov Chains: PCTL Complexity and Fraction-free Gaussian Elimination
Activity: Talk or presentation at external institutions/events › Talk/Presentation › Contributed
Persons and affiliations
- Lisa Hutschenreiter - , Chair of Algebraic and Logical Foundations of Computer Science (Speaker)
Date
20 Sept 2017 → 22 Sept 2017
Description
Conference
| Title | 8th Symposium on Games, Automata, Logics and Formal Verification |
|---|---|
| Abbreviated title | GandALF 2017 |
| Conference number | |
| Duration | 20 - 22 September 2017 |
| Degree of recognition | International event |
| Location | |
| City | Rom |
| Country | Italy |