Skip to main navigation
Skip to search
Skip to main content
Queen's University Belfast Home
Help & FAQ
Home
Profiles
Research units
Research output
Projects
Impacts
Datasets
Activities
Prizes
Press/Media
Student theses
Equipment
Search by expertise, name or affiliation
Probabilistic reachability for parametric Markov models
Ernst Moritz Hahn
, Holger Hermanns
, Lijun Zhang
Research output
:
Contribution to journal
›
Article
›
peer-review
150
Citations (Scopus)
Overview
Fingerprint
Fingerprint
Dive into the research topics of 'Probabilistic reachability for parametric Markov models'. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
Computer Science
Regular Expression
100%
Models
100%
Functions
66%
Attack
33%
Evaluation
33%
Computation
33%
Computing
33%
Probability
33%
Effective Method
33%
Experimental Evidence
33%
Markov Chain
33%
Parametric Model
33%
Finite Automata
33%
Reachability Probability
33%
Effective Procedure
33%