add rewards and rates to the mdp/dtmc maps - Githubissues

moves-rwth / stormvogel

Storm for almost everyone

2 stars 0 forks source link

add rewards and rates to the mdp/dtmc maps #40

Closed PimLeerkes closed 3 months ago