AI helps you reading Science

AI generates interpretation videos

AI extracts and analyses the key points of the paper to generate videos automatically

Go Generating

AI Traceability

AI parses the academic lineage of this thesis

Generate MRT

Probabilistic Reachability for Parametric Markov Models

International Journal on Software Tools for Technology Transfer, no. 1 (2011): 3-19

Cited: 102|Views28

Full Text

View via Publisher

Other Links

dl.acm.org academic.microsoft.com dblp.uni-trier.de link.springer.com

Bibtex

Keywords

model checkingmarkov chainsexponential growthmarkov chainregular expressionMore(4+)

Abstract

Given a parametric Markov model, we consider the problem of computing the formula expressing the probability of reaching a given set of states. To attack this principal problem, Daws has suggested to first convert the Markov chain into a finite automaton, from which a regular expression is computed. Afterwards, this expression is evaluate...More

Code:

Data:

Full Text

PPT (Upload PPT)

Similar

Reference

Cited

Author

Ernst Moritz Hahn

[0]

Holger Hermanns

[0]

Lijun Zhang (张立军)

[0]

Your rating :

No Ratings