How to generate all adversaries of the MDP ?

[lotfi larbaoui]

Hello ,

Is there an easy way to generate all the adversaries, or
is there a code to generate all the adversaries of MDP ?

Ref :

Strat.MDStrategyArray

thanks

[Dave Parker]

Hi,

We don't actually explicitly generate them all anywhere because there
are typically too many for this to be practical. But if you are just
interested in memoryless deterministic ones (as suggested by your
mention of the MDStrategyArray class), you just need to enumerate all
combinations of all actions in all states, which should be
straightforward to do, recursively iterating through the states of the
MDP and their choices.

Best wishes,

Dave

> --
> You received this message because you are subscribed to the Google
> Groups "PRISM model checker developers" group.
> To unsubscribe from this group and stop receiving emails from it, send
> an email to prismmodelchecke...@googlegroups.com
> <mailto:prismmodelchecke...@googlegroups.com>.
> To view this discussion on the web, visit
> https://groups.google.com/d/msgid/prismmodelchecker-dev/ff0c0cba-b5ba-40bd-8c4e-4a6bc6985a17%40googlegroups.com
> <https://groups.google.com/d/msgid/prismmodelchecker-dev/ff0c0cba-b5ba-40bd-8c4e-4a6bc6985a17%40googlegroups.com?utm_medium=email&utm_source=footer>.