English
Related papers

Related papers: Partially Observable Games for Secure Autonomy

200 papers

We study the optimal design of stealthy attacks against partially observed linear control systems. We first propose a novel likelihood-based detection mechanism derived from the innovation process, based on which we quantify stealthiness…

Optimization and Control · Mathematics 2026-05-12 Haosheng Zhou , Ruimeng Hu

Selecting the combination of security controls that will most effectively protect a system's assets is a difficult task. If the wrong controls are selected, the system may be left vulnerable to cyber-attacks that can impact the…

Cryptography and Security · Computer Science 2024-10-31 Dylan Léveillé , Jason Jaskolka

We develop methods to formally describe and compare games, in order to probe questions of game structure and design, and as a stepping stone to predicting player behavior from design patterns. We define a grammar-like formalism to describe…

Logic in Computer Science · Computer Science 2021-01-05 Paul Riggins , David McPherson

Formulating cyber-security problems with attackers and defenders as a partially observable stochastic game has become a trend recently. Among them, the one-sided two-player zero-sum partially observable stochastic game (OTZ-POSG) has…

Systems and Control · Electrical Eng. & Systems 2021-09-20 Wei Zheng , Taeho Jung , Hai Lin

We present a framework that incorporates the idea of bounded rationality into dynamic stochastic pursuit-evasion games. The solution of a stochastic game is characterized, in general, by its (Nash) equilibria in feedback form. However,…

Systems and Control · Electrical Eng. & Systems 2020-03-17 Yue Guan , Dipankar Maity , Christopher M. Kroninger , Panagiotis Tsiotras

The increasing prevalence of security attacks on software-intensive systems calls for new, effective methods for detecting and responding to these attacks. As one promising approach, game theory provides analytical tools for modeling the…

Software Engineering · Computer Science 2021-12-15 Mingyue Zhang , Nianyu Li , Sridhar Adepu , Eunsuk Kang , Zhi Jin

We study automated intrusion prevention using reinforcement learning. Following a novel approach, we formulate the interaction between an attacker and a defender as an optimal stopping game and let attack and defense strategies evolve…

Machine Learning · Computer Science 2022-05-31 Kim Hammar , Rolf Stadler

Stochastic games are an important class of problems that generalize Markov decision processes to game theoretic scenarios. We consider finite state two-player zero-sum stochastic games over an infinite time horizon with discounted rewards.…

Optimization and Control · Mathematics 2008-06-17 Parikshit Shah , Pablo A. Parrilo

Stochastic patrol routing is known to be advantageous in adversarial settings; however, the optimal choice of stochastic routing strategy is dependent on a model of the adversary. We adopt a worst-case omniscient adversary model from the…

Systems and Control · Electrical Eng. & Systems 2025-04-10 Yohan John , Gilberto Diaz-Garcia , Xiaoming Duan , Jason R. Marden , Francesco Bullo

We study automated intrusion response and formulate the interaction between an attacker and a defender as an optimal stopping game where attack and defense strategies evolve through reinforcement learning and self-play. The game-theoretic…

Computer Science and Game Theory · Computer Science 2024-04-23 Kim Hammar , Rolf Stadler

Surveillance-Evasion (SE) games form an important class of adversarial trajectory-planning problems. We consider time-dependent SE games, in which an Evader is trying to reach its target while minimizing the cumulative exposure to a moving…

Optimization and Control · Mathematics 2019-09-09 Elliot Cartee , Lexiao Lai , Qianli Song , Alexander Vladimirsky

Stochastic games are a well established model for multi-agent sequential decision making under uncertainty. In practical applications, though, agents often have only partial observability of their environment. Furthermore, agents…

Computer Science and Game Theory · Computer Science 2024-07-02 Rui Yan , Gabriel Santos , Gethin Norman , David Parker , Marta Kwiatkowska

Agents rarely act in isolation -- their behavioral history, in particular, is public to others. We seek a non-asymptotic understanding of how a leader agent should shape this history to its maximal advantage, knowing that follower agent(s)…

Computer Science and Game Theory · Computer Science 2019-05-29 Vidya Muthukumar , Anant Sahai

We study a two-player discounted zero-sum stochastic game model for dynamic operational planning in military campaigns. At each stage, the players manage multiple commanders who order military actions on objectives that have an open line of…

Computer Science and Game Theory · Computer Science 2024-03-04 Joseph E. McCarthy , Mathieu Dahan , Chelsea C. White

Two-player (antagonistic) games on (possibly stochastic) graphs are a prevalent model in theoretical computer science, notably as a framework for reactive synthesis. Optimal strategies may require randomisation when dealing with inherently…

Computer Science and Game Theory · Computer Science 2024-11-25 James C. A. Main , Mickael Randour

This paper studies a strategic security problem in networked control systems under stealthy false data injection attacks. The security problem is modeled as a bilateral cognitive security game between a defender and an adversary, each…

Systems and Control · Electrical Eng. & Systems 2025-05-05 Anh Tung Nguyen , Quanyan Zhu , André Teixeira

In this paper, we consider discrete-time partially observed mean-field games with the risk-sensitive optimality criterion. We introduce risk-sensitivity behaviour for each agent via an exponential utility function. In the game model, each…

Systems and Control · Electrical Eng. & Systems 2022-11-11 Naci Saldi , Tamer Basar , Maxim Raginsky

In security games, the solution concept commonly used is that of a Stackelberg equilibrium where the defender gets to commit to a mixed strategy. The motivation for this is that the attacker can repeatedly observe the defender's actions and…

Computer Science and Game Theory · Computer Science 2016-10-17 Vincent Conitzer

This paper studies a variant of the multi-player reach-avoid game played between intruders and defenders with applications to perimeter defense. The intruder team tries to score by sending as many intruders as possible to the target area,…

Systems and Control · Electrical Eng. & Systems 2020-06-05 Daigo Shishika , James Paulos , Vijay Kumar

This paper proposes a novel game-theoretical autonomous decision-making framework to address a task allocation problem for a swarm of multiple agents. We consider cooperation of self-interested agents, and show that our proposed…

Multiagent Systems · Computer Science 2018-11-30 Inmo Jang , Hyo-Sang Shin , Antonios Tsourdos