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)
• PASS: Abstraction Refinement for Infinite Probabilistic Models
  -н: Hahn, E, зэрэг
  Хэвлэсэн: (2010)
• Game−Based Probabilistic Predicate Abstraction in PRISM
  -н: Kattenbelt, M, зэрэг
  Хэвлэсэн: (2008)