Now my task is to use model checking to find a best strategy for card game Love Letter, and I need to model the game using Markov Decison Process first.
I have done a lot of resaerch and I decided to use "what cards are in the deck and what cards are in the other player's hand" to be my state.
But I am not sure which will be the best way to represent the states, because I think the states should include all the information I need and I can make action base on these states that I have got.