  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.
