Formulating cyber-security problems with attackers and defenders as a partially observable stochastic game has become trend recently. Among them, the one-sided two-player zero-sum (OTZ-POSG) emerged popular model because it allows players to compete for multiple stages based on partial knowledge of system. All existing work OTZ-POSG focused simultaneous move scenario assumed that one player’s a...

We provide a formal definition of depth-limited games together with an accessible and rigorous explanation the underlying concepts, both which were previously missing in imperfect-information games. The works for arbitrary (perfect recall) extensive-form game is not tied to any specific game-solving algorithm. Moreover, this framework unifies significantly extends three approaches solving that ...

Despite the many recent practical and theoretical breakthroughs in computational game theory, equilibrium finding extensive-form team games remains a significant challenge. While NP-hard worst case, there are provably efficient algorithms for certain families of game. In particular, if has common external information, also known as A-loss recall---informally, actions played by non-team members ...