diff --git a/resources/examples/testfiles/shields/mdp-shields/dieSelectionPostSafetylambda07Pmin.shield b/resources/examples/testfiles/shields/mdp-shields/dieSelectionPostSafetylambda07Pmin.shield index 5cbf8cc99..89cc541ed 100644 --- a/resources/examples/testfiles/shields/mdp-shields/dieSelectionPostSafetylambda07Pmin.shield +++ b/resources/examples/testfiles/shields/mdp-shields/dieSelectionPostSafetylambda07Pmin.shield @@ -1,8 +1,8 @@ ___________________________________________________________________ Post-Safety-Shield with relative comparison (lambda = 0.700000): model state: correction [: ()}: - 0 0: 2; 1: 2; 2: 2 - 1 0: 0; 1: 0; 2: 0 - 3 0: 2; 1: 2; 2: 2 - 4 0: 2; 1: 2; 2: 2 + 0 0: 0; 1: 1; 2: 2 + 1 0: 0; 1: 1; 2: 2 + 3 0: 0; 1: 1; 2: 2 + 4 0: 0; 1: 1; 2: 2 ___________________________________________________________________ diff --git a/resources/examples/testfiles/shields/mdp-shields/dieSelectionPreSafetygamma08Pmin.shield b/resources/examples/testfiles/shields/mdp-shields/dieSelectionPreSafetygamma08Pmin.shield index 6b32fa01a..000eb1c42 100644 --- a/resources/examples/testfiles/shields/mdp-shields/dieSelectionPreSafetygamma08Pmin.shield +++ b/resources/examples/testfiles/shields/mdp-shields/dieSelectionPreSafetygamma08Pmin.shield @@ -2,5 +2,7 @@ ___________________________________________________________________ Pre-Safety-Shield with absolute comparison (gamma = 0.800000): model state: choice(s) [: ()}: 0 0.58: (0); 0.566: (1); 0.552: (2) + 1 0.7942: (1); 0.7599: (2) 3 0.755: (0); 0.706: (1); 0.657: (2) + 6 0.79: (1); 0.755: (2) ___________________________________________________________________ diff --git a/resources/examples/testfiles/shields/mdp-shields/dieSelectionPreSafetylambda08Pmin.shield b/resources/examples/testfiles/shields/mdp-shields/dieSelectionPreSafetylambda08Pmin.shield index dcd83f02c..b4ed673b8 100644 --- a/resources/examples/testfiles/shields/mdp-shields/dieSelectionPreSafetylambda08Pmin.shield +++ b/resources/examples/testfiles/shields/mdp-shields/dieSelectionPreSafetylambda08Pmin.shield @@ -1,4 +1,11 @@ ___________________________________________________________________ Pre-Safety-Shield with relative comparison (lambda = 0.800000): model state: choice(s) [: ()}: + 0 0.58: (0); 0.566: (1); 0.552: (2) + 1 0.8285: (0); 0.7942: (1); 0.7599: (2) + 2 0.8775: (0); 0.902: (1); 0.9265: (2) + 3 0.755: (0); 0.706: (1); 0.657: (2) + 4 1: (0); 1: (1); 1: (2) + 5 1: (0); 1: (1); 1: (2) + 6 0.825: (0); 0.79: (1); 0.755: (2) ___________________________________________________________________