Modelling Language Concurrent Stochastic Multi-player Games (CSGs) For a CSG, each player controls one or more modules and the actions that label commands in a player’s modules must only be used...
What is Markov Chain? A system that changes its status. One important rule: the next status of the system only depends on its current status. can be drawn as a state diagram as well as writt...
Discrete-time Markov Chains Some terminology $P$ is a stochastic matrix: $P(s,s’) \in [0,1]$ for all $s, s’ \in S$ and $\sum_{s’ \in S} P(s,s’) = 1$ for all $s \in S$ $P$ is...
How to deal with procastination.
Basic Game Theory for Automatic Verification
A new version of content is available.
