← Search

Jakub Černý

8 accepted papers

2026

Security Games with Layered Defenses: Adaptive Adversaries and Gittins Indices

AAAI 2026technical

Real-world security applications (e.g., cybersecurity) often involve multiple attack paths, each with layers of defenses that an attacker needs to sequentially overcome before a successful attack on the entire system. Each defensive resource changes dynamically in efficacy as the attack unfolds. In

Cited by 0SourcePDFScholar
2026

Spatial Branch-and-Bound for Computing Multiplayer Nash Equilibrium

AAAI 2026technical

Equilibria of realistic multiplayer games constitute a key solution concept both in practical applications, such as online advertising auctions and electricity markets, and in analytical frameworks used to study strategic voting in elections or assess policy impacts in integrated assessment models.

Cited by 0SourcePDFScholar
2025

Commitment to Sparse Strategies in Two-Player Games

AAAI 2025technical

While Nash equilibria are guaranteed to exist, they may exhibit dense support, making them difficult to understand and execute in some applications. In this paper, we study k-sparse commitments in games where one player is restricted to mixed strategies with support size at most k. Finding k-sparse…

2023

Solving Large-Scale Pursuit-Evasion Games Using Pre-trained Strategies

AAAI 2023technical

Pursuit-evasion games on graphs model the coordination of police forces chasing a fleeing felon in real-world urban settings, using the standard framework of imperfect-information extensive-form games (EFGs). In recent years, solving EFGs has been largely dominated by the Policy-Space Response Oracl…

Cited by 12SourcePDFScholar
2021

Complexity and Algorithms for Exploiting Quantal Opponents in Large Two-Player Games

AAAI 2021technical

Solution concepts of traditional game theory assume entirely rational players; therefore, their ability to exploit subrational opponents is limited. One type of subrationality that describes human behavior well is the quantal response. While there exist algorithms for computing solutions against qua…

Cited by 12SourcePDFScholar
2021

Computing Ex Ante Coordinated Team-Maxmin Equilibria in Zero-Sum Multiplayer Extensive-Form Games

AAAI 2021technical

Computational game theory has many applications in the modern world in both adversarial situations and the optimization of social good. While there exist many algorithms for computing solutions in two-player interactions, finding optimal strategies in multiplayer interactions efficiently remains an…

Cited by 31SourcePDFScholar
2021

Computing Quantal Stackelberg Equilibrium in Extensive-Form Games

AAAI 2021technical

Deployments of game-theoretic solution concepts in the real world have highlighted the necessity to consider human opponents' boundedly rational behavior. If subrationality is not addressed, the system can face significant losses in terms of expected utility. While there exist algorithms for computi…

Cited by 9SourcePDFScholar