access the proper target label

randriu · Dec 6, 2023 · 36d2e06 · 36d2e06
1 parent 995bda8
commit 36d2e06
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/paynt/quotient/mdp_family.py b/paynt/quotient/mdp_family.py
@@ -243,7 +243,7 @@ def assert_mdp_is_deterministic(self, mdp, family):
 
 
     def build_game_abstraction_solver(self, prop):
-        target_label = str(prop.formula.subformula.subformula)
+        target_label = prop.get_target_label()
         solver = stormpy.synthesis.GameAbstractionSolver(
             self.quotient_mdp, len(self.action_labels), self.choice_to_action, target_label
         )