diff --git a/exampleConfig.yaml b/exampleConfig.yaml index 8c3042b..9aafeb0 100644 --- a/exampleConfig.yaml +++ b/exampleConfig.yaml @@ -1,7 +1,9 @@ --- -labels: - - label: "AgentIsInGoal" - text: "AgentIsInGoal" +# labels: +# - label: "AgentIsInGoal" +# text: "AgentIsInGoal" +# - label: "Hallo" +# text: "AgentIsInGoal" # constants: # - constant: "prop_slippery_turn" @@ -9,25 +11,33 @@ labels: # value: "9/9" # overwrite: True -probabilities: - - probability: "FaultProbability" +properties: + - property: "FaultProbability" value: 0.2 - - probability: "ProbForwardIntended" + - property: "ProbForwardIntended" value: 0.1 - - probability: "ProbTurnIntended" + - property: "ProbTurnIntended" value: 0.1 + # - property: "modeltype" + # value: "smg" modules: - module: "Agent" + # overwrite: True + # module_text: "NewModule\n\ + # " commands: - action: "[Agent_turn_left]" - guard: "AgentIsOnSlippery" - update: "True" + guard: "viewAgent=3" + overwrite: True + index: 1 + - action: "[Agent_turn_left]" + update: "(viewAgent'=3)" overwrite: True index: 3 - action: "[Agent_turn_right]" guard: "AgentIsOnSlippery" - update: "True" + update: "(viewAgent'=3)" overwrite: True index: [0,1] ... \ No newline at end of file