From 1812afee59ba42d6f2e1aa2f9a4fdae50828b644 Mon Sep 17 00:00:00 2001 From: Thomas Knoll Date: Wed, 13 Sep 2023 14:52:48 +0200 Subject: [PATCH] changed shield --- examples/shields/rl/shieldhandlers.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/examples/shields/rl/shieldhandlers.py b/examples/shields/rl/shieldhandlers.py index 4feefb8..64ccf00 100644 --- a/examples/shields/rl/shieldhandlers.py +++ b/examples/shields/rl/shieldhandlers.py @@ -49,7 +49,7 @@ class MiniGridShieldHandler(ShieldHandler): def __create_shield_dict(self): print(self.prism_path) program = stormpy.parse_prism_program(self.prism_path) - shield_specification = stormpy.logic.ShieldExpression(stormpy.logic.ShieldingType.PRE_SAFETY, stormpy.logic.ShieldComparison.RELATIVE, 0.1) + shield_specification = stormpy.logic.ShieldExpression(stormpy.logic.ShieldingType.PRE_SAFETY, stormpy.logic.ShieldComparison.RELATIVE, 0.9) formulas = stormpy.parse_properties_for_prism_program(self.formula, program) options = stormpy.BuilderOptions([p.raw_formula for p in formulas])