diff --git a/src/storm-pomdp/modelchecker/ApproximatePOMDPModelchecker.cpp b/src/storm-pomdp/modelchecker/ApproximatePOMDPModelchecker.cpp index e88daf09b..91947e075 100644 --- a/src/storm-pomdp/modelchecker/ApproximatePOMDPModelchecker.cpp +++ b/src/storm-pomdp/modelchecker/ApproximatePOMDPModelchecker.cpp @@ -133,7 +133,7 @@ namespace storm { } for (uint64_t i = 0; i < obsAccumulator.size(); ++i) { - obsAccumulator[i] /= beliefCount[i]; + obsAccumulator[i] /= storm::utility::convertNumber(beliefCount[i]); } //TODO think about some other scoring methods