This is a partially observable concurrent stochastic games (as players can only estimate the game state and all players make a choice at the same time).
PRISM currently only supports fully observable turn-based games and therefore cannot model this game using PRISM.
thanks
Gethin
> --
> You received this message because you are subscribed to the Google Groups "PRISM model checker" group.
> To unsubscribe from this group and stop receiving emails from it, send an email to
prismmodelchec...@googlegroups.com.
> To post to this group, send email to
prismmod...@googlegroups.com.
> Visit this group at
https://groups.google.com/group/prismmodelchecker.
> For more options, visit
https://groups.google.com/d/optout.
> <GOOD-Using Incompletely Cooperative Game Theory (1).pdf>