diff --git a/prism-examples/self-stabilisation/herman/herman11.pm b/prism-examples/self-stabilisation/herman/herman11.pm
index 0d5399a0..46a7334c 100644
--- a/prism-examples/self-stabilisation/herman/herman11.pm
+++ b/prism-examples/self-stabilisation/herman/herman11.pm
@@ -4,7 +4,7 @@
 // the procotol is synchronous with no nondeterminism (a DTMC)
 dtmc
 
-const double p;
+const double p = 0.5;
 
 // module for process 1
 module process1
diff --git a/prism-examples/self-stabilisation/herman/herman13.pm b/prism-examples/self-stabilisation/herman/herman13.pm
index 3e28c832..d238c378 100644
--- a/prism-examples/self-stabilisation/herman/herman13.pm
+++ b/prism-examples/self-stabilisation/herman/herman13.pm
@@ -4,7 +4,7 @@
 // the procotol is synchronous with no nondeterminism (a DTMC)
 dtmc
 
-const double p;
+const double p = 0.5;
 
 // module for process 1
 module process1
diff --git a/prism-examples/self-stabilisation/herman/herman15.pm b/prism-examples/self-stabilisation/herman/herman15.pm
index d0a70885..1188c67f 100644
--- a/prism-examples/self-stabilisation/herman/herman15.pm
+++ b/prism-examples/self-stabilisation/herman/herman15.pm
@@ -4,7 +4,7 @@
 // the procotol is synchronous with no nondeterminism (a DTMC)
 dtmc
 
-const double p;
+const double p = 0.5;
 
 // module for process 1
 module process1
diff --git a/prism-examples/self-stabilisation/herman/herman17.pm b/prism-examples/self-stabilisation/herman/herman17.pm
index 3428dcb4..f9f4f1f6 100644
--- a/prism-examples/self-stabilisation/herman/herman17.pm
+++ b/prism-examples/self-stabilisation/herman/herman17.pm
@@ -4,7 +4,7 @@
 // the procotol is synchronous with no nondeterminism (a DTMC)
 dtmc
 
-const double p;
+const double p = 0.5;
 
 // module for process 1
 module process1
diff --git a/prism-examples/self-stabilisation/herman/herman19.pm b/prism-examples/self-stabilisation/herman/herman19.pm
index 7f603893..413f3687 100644
--- a/prism-examples/self-stabilisation/herman/herman19.pm
+++ b/prism-examples/self-stabilisation/herman/herman19.pm
@@ -4,7 +4,7 @@
 // the procotol is synchronous with no nondeterminism (a DTMC)
 dtmc
 
-const double p;
+const double p = 0.5;
 
 // module for process 1
 module process1
diff --git a/prism-examples/self-stabilisation/herman/herman21.pm b/prism-examples/self-stabilisation/herman/herman21.pm
index ebb8ac2e..2535f5f9 100644
--- a/prism-examples/self-stabilisation/herman/herman21.pm
+++ b/prism-examples/self-stabilisation/herman/herman21.pm
@@ -4,7 +4,7 @@
 // the procotol is synchronous with no nondeterminism (a DTMC)
 dtmc
 
-const double p;
+const double p = 0.5;
 
 // module for process 1
 module process1
diff --git a/prism-examples/self-stabilisation/herman/herman3.pm b/prism-examples/self-stabilisation/herman/herman3.pm
index cc6e8119..de78ae18 100644
--- a/prism-examples/self-stabilisation/herman/herman3.pm
+++ b/prism-examples/self-stabilisation/herman/herman3.pm
@@ -4,7 +4,7 @@
 // the procotol is synchronous with no nondeterminism (a DTMC)
 dtmc
 
-const double p;
+const double p = 0.5;
 
 // module for process 1
 module process1
diff --git a/prism-examples/self-stabilisation/herman/herman5.pm b/prism-examples/self-stabilisation/herman/herman5.pm
index cde72df2..0f257b8f 100644
--- a/prism-examples/self-stabilisation/herman/herman5.pm
+++ b/prism-examples/self-stabilisation/herman/herman5.pm
@@ -4,7 +4,7 @@
 // the procotol is synchronous with no nondeterminism (a DTMC)
 dtmc
 
-const double p;
+const double p = 0.5;
 
 // module for process 1
 module process1
diff --git a/prism-examples/self-stabilisation/herman/herman7.pm b/prism-examples/self-stabilisation/herman/herman7.pm
index 0d6ef0bd..04e34c4a 100644
--- a/prism-examples/self-stabilisation/herman/herman7.pm
+++ b/prism-examples/self-stabilisation/herman/herman7.pm
@@ -4,7 +4,7 @@
 // the procotol is synchronous with no nondeterminism (a DTMC)
 dtmc
 
-const double p;
+const double p = 0.5;
 
 // module for process 1
 module process1
diff --git a/prism-examples/self-stabilisation/herman/herman9.pm b/prism-examples/self-stabilisation/herman/herman9.pm
index 664854dc..f1d95c7a 100644
--- a/prism-examples/self-stabilisation/herman/herman9.pm
+++ b/prism-examples/self-stabilisation/herman/herman9.pm
@@ -4,7 +4,7 @@
 // the procotol is synchronous with no nondeterminism (a DTMC)
 dtmc
 
-const double p;
+const double p = 0.5;
 
 // module for process 1
 module process1