C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Data-Efficient Bayesian Verification of Parametric Markov Chains.
Elizabeth Polgreen
Viraj B. Wijesuriya
Sofie Haesaert
Alessandro Abate
Published in:
QEST (2016)
Keyphrases
</>
markov chain
markov process
pattern matching
steady state
network structure
markov model
finite state