fixed belief FSC size computation

randriu · Apr 24, 2024 · c003cc8 · c003cc8
1 parent 500be2c
commit c003cc8
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/paynt/quotient/storm_pomdp_control.py b/paynt/quotient/storm_pomdp_control.py
@@ -1022,6 +1022,6 @@ def get_belief_controller_size(self, storm_result, paynt_fsc_size=None):
                         observation_actions[observation].append(action)
             randomized_schedulers_size += sum(list([len(support) for support in observation_actions.values()])) * 3
 
-        result_size = non_frontier_states + belief_mc.nr_transitions + fsc_size + randomized_schedulers_size
+        result_size = non_frontier_states + 2*belief_mc.nr_transitions + fsc_size + randomized_schedulers_size
 
         return result_size