Computing Conditional Probabilities in Markovian Models Efficiently
Activity: Talk or presentation at external institutions/events › Talk/Presentation › Contributed
Persons and affiliations
Date
7 Apr 2014 → 11 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 |
Keywords
DFG Classification of Subject Areas according to Review Boards
Subject groups, research areas, subject areas according to Destatis
Keywords
- Markovian models, conditional probabilities