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)