diff --git a/prism/examples/ctmdp/Neu10.sm b/prism/examples/ctmdp/Neu10.sm index 9f6c1641..a4b23c29 100644 --- a/prism/examples/ctmdp/Neu10.sm +++ b/prism/examples/ctmdp/Neu10.sm @@ -1,6 +1,6 @@ // Simple CTMP from Neuhausser thesis defence slides (2010) -// For mac prob of reaching target within time bound 1, +// For max prob of reaching target within time bound 1, // exact answer is 1 + 19/24 e^-3 - 3/2 e^-1 = (approx.) 0.48759 // discretisation (k = 4500, tau = 0.0002222...) gives 0.487552953296395