exporting strategy for csg

22 views

Skip to first unread message

unread,

Mar 2, 2022, 10:35:29 PM3/2/22

to PRISM model checker

hi, I am using PRISM-games (Windows GUI ver.) to synthesis a strategy using csg

when I wanted to export strategy for my model there is no file saved in any of my prism documents.

may I know if there is certain points that I should consider when I wanted to export strategy in the form of the adversary files?

Reply all

Reply to author

Forward

0 new messages