Closed linusheck closed 1 month ago
Adds support for CTMCs (rates on states) and reward models. The reward models kinda work like they do in Storm, but we currently only support state-exit rewards and not transition rewards.
CI will run through once https://github.com/moves-rwth/stormvogel/pull/17 is merged, I hope :)
Adds support for CTMCs (rates on states) and reward models. The reward models kinda work like they do in Storm, but we currently only support state-exit rewards and not transition rewards.