Importance Sampling for Model Checking of Continuous Time Markov Chains

相似書籍

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