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...

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...

Intro @NJU OS: Operating System Design and Implementation Websit Videos Book-Operating Systems: Three Easy Pieces References

What is Stackelberg Game A Stackelberg Game is a type of game in which there are two players: the Leader and the Follower. The Leader moves first and chooses a strategy, denoted by π. The Foll...

Things I want to do before I die. Progress as of May 01, 2023: 4/15. Learn a language other than Chinese and English, maybe French / German / Japanese… Learn to play a music instrument...

NOTE This is just a summary of deep learning in the area of healthcare. I have jumped much trivial stuff. Multi-Layer Perceptrons (MLP) Universal Approximation Theorem A multilayer network of sigm...

Data Abstraction – Lecture 03 Analysis framework: Four levels, three questions Domain sitation Who are the target user? Abstraction Translate from specifics of domain to vocabulary of v...

Normal form game (NFG) A (finite, $n$-person) normal form game is a tuple N = $(N, A, u)$, where: $N = {1, …, n}$ is a finite set of players; $A = A_1 \times…\times A_n$ and

Preliminaries Basic game theory concepts Concurrent Stochastic Game Stackelberg Equilibrium in Stochastic Games Markov Chains Probabilistic Model Checking