基于延迟动作博弈的安全感知综合
计算机科学与博弈论
2019-05-31 v2 形式语言与自动机理论
计算机科学中的逻辑
软件工程
系统与控制
摘要
随机多玩家博弈（SMGs）在多智能体反应式系统的策略综合领域受到了关注。然而，标准 SMGs 仅限于建模所有智能体完全知晓博弈状态的系统。本文引入延迟动作博弈（DAGs）形式化方法，将隐藏信息博弈（HIGs）模拟为 SMGs，其中隐藏信息通过延迟玩家的动作来刻画。私有变量的消除使得能够使用现成的 SMG 模型检测工具来实现 HIGs。此外，我们展示了如何将 DAG 分解为可独立探索的子博弈，利用并行计算来减少模型检测时间，同时缓解 SMGs 臭名昭著的状态空间爆炸问题。另外，我们提出了一种基于 DAG 的策略综合与分析框架。最后，我们在一个遭受隐蔽攻击的人在回路无人机系统案例研究中展示了基于 DAG 的综合框架的适用性，其中所提框架用于对该系统进行形式化建模、分析并综合安全感知策略。
引用
@article{arxiv.1902.04618,
title = {Security-Aware Synthesis Using Delayed-Action Games},
author = {Mahmoud Elfar and Yu Wang and Miroslav Pajic},
journal= {arXiv preprint arXiv:1902.04618},
year = {2019}
}