diff --git a/src/storm/modelchecker/multiobjective/deterministicScheds/DetSchedsWeightVectorChecker.cpp b/src/storm/modelchecker/multiobjective/deterministicScheds/DetSchedsWeightVectorChecker.cpp
index 4beb37fb7..85aa0d212 100644
--- a/src/storm/modelchecker/multiobjective/deterministicScheds/DetSchedsWeightVectorChecker.cpp
+++ b/src/storm/modelchecker/multiobjective/deterministicScheds/DetSchedsWeightVectorChecker.cpp
@@ -38,6 +38,7 @@ namespace storm {
                         
                         ValueType currChoiceValue = storm::utility::zero<ValueType>();
                         for (uint64_t objIndex = 0; objIndex < numObjectives; ++objIndex) {
+                            STORM_LOG_ASSERT(!storm::utility::isInfinity(stateResults[objIndex][state]), "Scheduler induces value infinity at a state.");
                             currChoiceValue += weightVector[objIndex] * stateResults[objIndex][state];
                         }
                         
@@ -60,6 +61,7 @@ namespace storm {
                                 }
                             }
                             
+                            // TODO: For non-exact solving this could 'close' End Components which actually decreases
                             if (choiceValue > currChoiceValue) {
                                 schedulerEvaluator->setChoiceAtState(state, choice);
                             }