Finding optimal strategy using policy iteration

15 views
Skip to first unread message

Primož

unread,
Feb 23, 2024, 10:17:03 AMFeb 23
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)?

Thank you,
Primož
Reply all
Reply to author
Forward
0 new messages