Computing Conditional Probabilities in Markovian Models Efficiently
Activity: Talk or presentation at external institutions/events › Talk/Presentation › Contributed
Persons and affiliations
- Sascha Klüppelholz - , Chair of Algebraic and Logical Foundations of Computer Science (Speaker)
Date
6 Apr 2014 → 12 Apr 2014
Conference
Title | 20th International Conference on Tools and Algorithms for the Construction and Analysis of Systems |
---|---|
Abbreviated title | TACAS 2014 |
Duration | 7 - 11 April 2014 |
Degree of recognition | International event |
City | Grenoble |
Country | France |