基于仿真的无线自组织网络纳什均衡计算
计算机科学与博弈论
2012-02-22 v1 形式语言与自动机理论
网络与互联网体系结构
摘要
本文研究了在由加权时间自动机（Weighted Timed Automata）建模的无线网络中计算纳什均衡的问题。此类形式化方法配备了一种逻辑，可用于描述诸如定时能量约束等复杂特征。我们的贡献是一种利用统计模型检测（Statistical Model Checking）解决该问题的方法。该方法已在 UPPAAL 模型检测器中实现，并应用于 Aloha CSMA/CD 和 IEEE 802.15.4 CSMA/CA 协议的分析。
引用
@article{arxiv.1202.4506,
title = {Computing Nash Equilibrium in Wireless Ad Hoc Networks: A Simulation-Based Approach},
author = {Peter Bulychev and Alexandre David and Kim G. Larsen and Axel Legay and Marius Mikučionis},
journal= {arXiv preprint arXiv:1202.4506},
year = {2012}
}
备注
In Proceedings IWIGP 2012, arXiv:1202.4229