Generating adversary for multi-objective property of MDP

[ssuk...@gmail.com]

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.

[yehia.e...@gmail.com]

Hi,

I have the same question. Did you find a way to export adversaries for multi-objective properties?

Thanks and regards,

Yehia