Abstraction Refinement for Probabilistic Software

Míreanna comhchosúla

• Local abstraction refinement for probabilistic timed programs
  de réir: Dräger, K, et al.
  Foilsithe / Cruthaithe: (2013)
• Refined Probabilistic Abstraction
  de réir: Wachter, B
  Foilsithe / Cruthaithe: (2010)
• Abstraction, refinement and proof for probabilistic systems /
  de réir: 427471 Mclver, Annabelle, et al.
  Foilsithe / Cruthaithe: (2005)
• PASS: Abstraction Refinement for Infinite Probabilistic Models
  de réir: Hahn, E, et al.
  Foilsithe / Cruthaithe: (2010)
• Game−Based Probabilistic Predicate Abstraction in PRISM
  de réir: Kattenbelt, M, et al.
  Foilsithe / Cruthaithe: (2008)