Some CTMDP examples.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@1839 bbc10eb1-c90d-0410-af57-cb519fbb1720
16 years ago · 39b6cfce08
1 changed files with 1 additions and 1 deletions
--- 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