Abstraction Refinement for Probabilistic Software

類似資料

• Local abstraction refinement for probabilistic timed programs
  著者:: Dräger, K, 等
  出版事項: (2013)
• Refined Probabilistic Abstraction
  著者:: Wachter, B
  出版事項: (2010)
• Abstraction, refinement and proof for probabilistic systems /
  著者:: 427471 Mclver, Annabelle, 等
  出版事項: (2005)
• Game−Based Probabilistic Predicate Abstraction in PRISM
  著者:: Kattenbelt, M, 等
  出版事項: (2008)
• Game−Based Probabilistic Predicate Abstraction in PRISM
  著者:: Kattenbelt, M, 等
  出版事項: (2008)