Learning−based Compositional Verification for Synchronous Probabilistic Systems

類似資料

• Compositional Verification of Probabilistic Systems using Learning
  著者:: Feng, L, 等
  出版事項: (2010)
• Automated Verification Techniques for Probabilistic Systems.
  著者:: Forejt, V, 等
  出版事項: (2011)
• Compositional probabilistic verification through multi-objective model checking
  著者:: Kwiatkowska, M, 等
  出版事項: (2013)
• On learning assumptions for compositional verification of probabilistic systems
  著者:: Feng, L
  出版事項: (2014)
• Automated Learning of Probabilistic Assumptions for Compositional Reasoning
  著者:: Feng, L, 等
  出版事項: (2011)