Using Incompletely Cooperative Game Theory in Wireless Sensor Networks1

22 views
Skip to first unread message

bougu...@gmail.com

unread,
May 9, 2017, 4:55:44 AM5/9/17
to PRISM model checker
in this article i'm don't understand what's the models , and how i use the rewards.

can you help me pleaaase.

Thank you.
GOOD-Using Incompletely Cooperative Game Theory (1).pdf

Gethin Norman

unread,
May 9, 2017, 7:06:23 AM5/9/17
to prismmod...@googlegroups.com, Gethin Norman
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>

Reply all
Reply to author
Forward
0 new messages