Importance Sampling for Model Checking of Continuous Time Markov Chains

Samankaltaisia teoksia

• Coupling and Importance Sampling for Statistical Model Checking
  Tekijä: Barbot, B, et al.
  Julkaistu: (2012)
• Échantillonnage préférentiel pour le model checking statistique
  Tekijä: Barbot, B, et al.
  Julkaistu: (2011)
• Time−Bounded Model Checking of Infinite−State Continuous−Time Markov Chains
  Tekijä: Hahn, E, et al.
  Julkaistu: (2009)
• Model Checking of Continuous-Time Markov Chains Against Timed Automata Specifications
  Tekijä: Taolue Chen, et al.
  Julkaistu: (2011-03-01)
• LTL model checking of interval Markov chains
  Tekijä: Benedikt, M, et al.
  Julkaistu: (2013)