Time−Bounded Model Checking of Infinite−State Continuous−Time Markov Chains

類似資料

• INFAMY: An Infinite−State Markov Model Checker
  著者:: Hahn, E, 等
  出版事項: (2009)
• Importance Sampling for Model Checking of Continuous Time Markov Chains
  著者:: Barbot, B, 等
  出版事項: (2015)
• Model Checking of Continuous-Time Markov Chains Against Timed Automata Specifications
  著者:: Taolue Chen, 等
  出版事項: (2011-03-01)
• Two Approaches to the Construction of Perturbation Bounds for Continuous-Time Markov Chains
  著者:: Alexander Zeifman, 等
  出版事項: (2020-02-01)
• PASS: Abstraction Refinement for Infinite Probabilistic Models
  著者:: Hahn, E, 等
  出版事項: (2010)