Set Cumulative Rewards Values

Reward models can be easily defined in TANGRAM-II. As described in chapter an extremely rich set of measures can be defined using s (which are associated with states in the model) and/or s (which are associated with state transitions). We recall that we can attribute values to a reward by defining conditions over the state variables associated to an object. Furthermore, global rewards can be defined, and their value set when boolean conditions over state variables from different objects are satisfied. The reward values accumulated can be modified when an action is executed, as we will see in the example below.