Optimizing honeypot strategies against dynamic lateral movement using partially observable stochastic games. - Karel Horák 002; Branislav Bosanský; Petr Tomásek; Christopher Kiekintveld; Charles A. Kamhoua (Comput. Secur., 2019)

Using One-Sided Partially Observable Stochastic Games for Solving Zero-Sum Security Games with Sequential Attacks. - Petr Tomásek; Branislav Bosanský; Thanh Hong Nguyen (GameSec, 2020)

Solving Partially Observable Stochastic Shortest-Path Games. - Petr Tomásek; Karel Horák 002; Aditya Aradhye; Branislav Bosanský; Krishnendu Chatterjee (IJCAI, 2021)

Iterative algorithms for solving one-sided partially observable stochastic shortest path games. - Petr Tomásek; Karel Horák 002; Branislav Bosanský (Int. J. Approx. Reason., 2024)