• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

Data-Efficient Bayesian Verification of Parametric Markov Chains.

Elizabeth PolgreenViraj B. WijesuriyaSofie HaesaertAlessandro Abate
Published in: QEST (2016)
Keyphrases
  • markov chain
  • markov process
  • pattern matching
  • steady state
  • network structure
  • markov model
  • finite state