search

moves-rwth / storm

A Modern Probabilistic Model Checker
https://www.stormchecker.org
GNU General Public License v3.0
126 stars 73 forks source link

Jani: Support for rates in DTMCs #511

Closed tquatmann closed 2 months ago

tquatmann commented 3 months ago

The jani specification allows rates to occur at edges in DTMCs which are then interpreted as weights. Previously, this case was not handled properly.

This implements the weighting for explicit (sparse) model building and throws an error for symbolic model building.

tquatmann commented 2 months ago

I'm closing this PR since DTMC rates recently got removed from the jani-spec.