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
Hi!
I cannot seem to get to the information on how one can use policy iteration to determine optimal strategy. I initialized rewards on the final states and the model builds with no errors.
Are there any tutorials which could help me achieve that using the latest version PRISM GUI (4.8.1)?