Login / Signup

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