probabilistic strategy logic

model checking (3) stochastic game (2) stochastic multi-agent system (1) information transparency (1) observability operator (1) bayesian mechanism (1) strategic logic (1) multi-agent system (1) bayesian nash equilibrium (1) stochastic system (1)