From 6f476ef079af841534beaad9029bbe2f27bb73b0 Mon Sep 17 00:00:00 2001
From: Tim Quatmann <tim.quatmann@cs.rwth-aachen.de>
Date: Fri, 1 May 2020 20:43:46 +0200
Subject: [PATCH] belief exploration: Improved fixpoint detection for
 over-approx

---
 src/storm-pomdp/modelchecker/ApproximatePOMDPModelchecker.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/storm-pomdp/modelchecker/ApproximatePOMDPModelchecker.cpp b/src/storm-pomdp/modelchecker/ApproximatePOMDPModelchecker.cpp
index a116077a1..be50cbfff 100644
--- a/src/storm-pomdp/modelchecker/ApproximatePOMDPModelchecker.cpp
+++ b/src/storm-pomdp/modelchecker/ApproximatePOMDPModelchecker.cpp
@@ -556,7 +556,7 @@ namespace storm {
                                     overApproximation->setCurrentStateIsTruncated();
                                     if (fixPoint) {
                                         // Properly check whether this can still be a fixpoint
-                                        if (overApproximation->currentStateIsOptimalSchedulerReachable()) {
+                                        if (overApproximation->currentStateIsOptimalSchedulerReachable() && !storm::utility::isZero(gap)) {
                                             fixPoint = false;
                                         }
                                         //} else {