diff --git a/src/storm/modelchecker/multiobjective/SparseMultiObjectivePreprocessor.cpp b/src/storm/modelchecker/multiobjective/SparseMultiObjectivePreprocessor.cpp index a3c0d9657..0596303c8 100644 --- a/src/storm/modelchecker/multiobjective/SparseMultiObjectivePreprocessor.cpp +++ b/src/storm/modelchecker/multiobjective/SparseMultiObjectivePreprocessor.cpp @@ -375,7 +375,7 @@ namespace storm { std::set relevantRewardModels; for (auto const& obj : result.objectives) { relevantRewardModels.insert(*obj.rewardModelName); - if (obj.timeBoundReference->isRewardBound()) { + if (obj.timeBoundReference && obj.timeBoundReference->isRewardBound()) { relevantRewardModels.insert(obj.timeBoundReference->getRewardName()); } }