diff --git a/src/storm-dft/builder/ExplicitDFTModelBuilderApprox.cpp b/src/storm-dft/builder/ExplicitDFTModelBuilderApprox.cpp
index b6ed86c1e..c21ce6ef7 100644
--- a/src/storm-dft/builder/ExplicitDFTModelBuilderApprox.cpp
+++ b/src/storm-dft/builder/ExplicitDFTModelBuilderApprox.cpp
@@ -572,6 +572,9 @@ namespace storm {
 
         template<typename ValueType, typename StateType>
         ValueType ExplicitDFTModelBuilderApprox<ValueType, StateType>::getUpperBound(DFTStatePointer const& state) const {
+            if (state->hasFailed(dft.getTopLevelIndex())) {
+                return storm::utility::zero<ValueType>();
+            }
             // Get the upper bound by considering the failure of all BEs
             ValueType upperBound = storm::utility::one<ValueType>();
             ValueType rateSum = storm::utility::zero<ValueType>();