You do not have permission to delete messages in this group
Copy link
Report message
Show original message
Either email addresses are anonymous for this group or you need the view member email addresses permission to view the original message
to PRISM model checker developers
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
unread,
Sep 26, 2019, 4:43:26 AM9/26/19
Reply to author
Sign in to reply to author
Forward
Sign in to forward
Delete
You do not have permission to delete messages in this group
Copy link
Report message
Show original message
Either email addresses are anonymous for this group or you need the view member email addresses permission to view the original message
to PRISM model checker developers, larbao...@gmail.com
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.