diff --git a/prism/src/explicit/MDPSparse.java b/prism/src/explicit/MDPSparse.java index c1559382..b0ba62a0 100644 --- a/prism/src/explicit/MDPSparse.java +++ b/prism/src/explicit/MDPSparse.java @@ -782,7 +782,7 @@ public class MDPSparse extends ModelExplicit implements MDP // Only remember strictly better choices // (required if either player is doing max) if (adv[s] == -1 || (min && minmax < vect[s]) || (!min && minmax > vect[s])) { - adv[s] = j; + adv[s] = j - l1; } } }