belief exploration: Improved fixpoint detection for over-approx

5 years ago · 6f476ef079
1 changed files with 1 additions and 1 deletions
--- 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 {