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)