14 papers
Synthesis of Deceptive Strategies in Reachability Games with Action Misperception (Technical Report)
Abhishek N. Kulkarni, Jie Fu
Strategic deception is an act of manipulating the opponent's perception to gain strategic advantages. In this paper, we study synthesis of deceptive winning strategies in two-playe…
Decoy Allocation Games on Graphs with Temporal Logic Objectives
Abhishek N. Kulkarni, Jie Fu, Huan Luo +2
We study a class of games, in which the adversary (attacker) is to satisfy a complex mission specified in linear temporal logic, and the defender is to prevent the adversary from a…
A Theory of Hypergames on Graphs for Synthesizing Dynamic Cyber Defense with Deception
Abhishek N. Kulkarni, Jie Fu
In this chapter, we present an approach using formal methods to synthesize reactive defense strategy in a cyber network, equipped with a set of decoy systems. We first generalize f…
Dynamic Hypergames for Synthesis of Deceptive Strategies with Temporal Logic Objectives
Lening Li, Haoxiang Ma, Abhishek N. Kulkarni +1
In this paper, we study the use of deception for strategic planning in adversarial environments. We model the interaction between the agent (player 1) and the adversary (player 2)…
Deceptive Labeling: Hypergames on Graphs for Stealthy Deception
Abhishek N. Kulkarni, Huan Luo, Nandi O. Leslie +2
With the increasing sophistication of attacks on cyber-physical systems, deception has emerged as an effective tool to improve system security and safety by obfuscating the attacke…
Synthesis of Deceptive Strategies in Reachability Games with Action Misperception
Abhishek N. Kulkarni, Jie Fu
We consider a class of two-player turn-based zero-sum games on graphs with reachability objectives, known as reachability games, where the objective of Player 1 (P1) is to reach a…