Costreward#71

Open

Ragusaen wants to merge 2 commits intoUPPAALModelChecker:mainfrom

Ragusaen:costreward

Commits on Nov 1, 2022

Small fix to fix cost variable
Slorup
committed

Commits on Nov 28, 2022

Update utap with reward
Slorup
committed