search

moves-rwth / storm

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

What do we do with rewardMeasureType #541

Closed sjunges closed 3 months ago

sjunges commented 4 months ago

In my quest for https://github.com/moves-rwth/storm/issues/154 We have some occurences of rewardMeasureType but I dont believe that this is currenlty really supported.