Computing Conditional Probabilities in Markovian Models Efficiently

TitleComputing Conditional Probabilities in Markovian Models Efficiently
Publication TypeConference Paper
Year of Publication2014
AuthorsBaier, C, Klein, J, Klüppelholz, S, Märcker, S
Conference NameProc. of the 20th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS)
PublisherSpringer
Work Package: 
WP1