Partially Observable Games for Secure Autonomy
Computer Science and Game Theory
2020-02-07 v1 Artificial Intelligence
Cryptography and Security
Formal Languages and Automata Theory
Multiagent Systems
Abstract
Technology development efforts in autonomy and cyber-defense have been evolving independently of each other, over the past decade. In this paper, we report our ongoing effort to integrate these two presently distinct areas into a single framework. To this end, we propose the two-player partially observable stochastic game formalism to capture both high-level autonomous mission planning under uncertainty and adversarial decision making subject to imperfect information. We show that synthesizing sub-optimal strategies for such games is possible under finite-memory assumptions for both the autonomous decision maker and the cyber-adversary. We then describe an experimental testbed to evaluate the efficacy of the proposed framework.
Keywords
Cite
@article{arxiv.2002.01969,
title = {Partially Observable Games for Secure Autonomy},
author = {Mohamadreza Ahmadi and Arun A. Viswanathan and Michel D. Ingham and Kymie Tan and Aaron D. Ames},
journal= {arXiv preprint arXiv:2002.01969},
year = {2020}
}