research
∙
10/04/2022
Opportunistic Qualitative Planning in Stochastic Systems with Incomplete Preferences over Reachability Objectives
Preferences play a key role in determining what goals/constraints to sat...
share
research
∙
09/25/2022
Probabilistic Planning with Partially Ordered Preferences over Temporal Goals
In this paper, we study planning in stochastic systems, modeled as Marko...
research
∙
03/28/2022
Synthesizing Attack-Aware Control and Active Sensing Strategies under Reactive Sensor Attacks
We consider the probabilistic planning problem for a defender (P1) who c...
research
∙
04/23/2021
Synthesis of Deceptive Strategies in Reachability Games with Action Misperception (Technical Report)
Strategic deception is an act of manipulating the opponent's perception ...
research
∙
04/01/2021
Qualitative Planning in Imperfect Information Games with Active Sensing and Reactive Sensor Attacks: Cost of Unawareness
We consider the probabilistic planning problem where the agent (called P...
research
∙
10/02/2020
Decoy Allocation Games on Graphs with Temporal Logic Objectives
We study a class of games, in which the adversary (attacker) is to satis...
research
∙
08/07/2020
A Theory of Hypergames on Graphs for Synthesizing Dynamic Cyber Defense with Deception
In this chapter, we present an approach using formal methods to synthesi...
research
∙
07/30/2020
Dynamic Hypergames for Synthesis of Deceptive Strategies with Temporal Logic Objectives
In this paper, we study the use of deception for strategic planning in a...
research
∙
04/10/2020
Deceptive Labeling: Hypergames on Graphs for Stealthy Deception
With the increasing sophistication of attacks on cyber-physical systems,...
research
∙
02/17/2020
Synthesis of Deceptive Strategies in Reachability Games with Action Misperception
We consider a class of two-player turn-based zero-sum games on graphs wi...
research
∙
02/17/2020
Secure-by-synthesis network with active deception and temporal logic specifications
This paper is concerned with the synthesis of strategies in network syst...
research
∙
06/13/2019