Skip to content Skip to footer

Computing Conditional Probabilities in Markovian Models Efficiently

Activity: Talk or presentation at external institutions/eventsTalk/PresentationContributed

Date

7 Apr 201411 Apr 2014

Conference

Title20th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
Abbreviated titleTACAS 2014
Duration7 - 11 April 2014
Degree of recognitionInternational event
CityGrenoble
CountryFrance

Keywords

DFG Classification of Subject Areas according to Review Boards

Subject groups, research areas, subject areas according to Destatis

Keywords

  • Markovian models, conditional probabilities

Related content

Computing Conditional Probabilities in Markovian Models Efficiently

Baier, C., Klein, J., Klüppelholz, S. & Märcker, S., 2014, Tools and Algorithms for the Construction and Analysis of Systems: 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings. Ábrahám, E. & Havelund, K. (eds.). Springer, Berlin [u. a.], p. 515-530 16 p. (Lecture Notes in Computer Science, Volume 8413).

Research output: Contribution to book/Conference proceedings/Anthology/ReportConference contributionContributedpeer-review