Hi,
Does PRISM support generating adversary for multi-objective property of MDP? I have tried the following command:
prism model.mdp 'multi(R{"r1"}max=? [C], R{"r2"}min=? [C])' -exportadv adv.tra -s,
but PRISM doesn't generate any adv.tra file.
Thank you.