• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文会议>Distributed computing and internet technology. >Nash Equilibrium in Weighted Concurrent Timed Games with Reachability Objectives
【24h】

Nash Equilibrium in Weighted Concurrent Timed Games with Reachability Objectives

机译：具有可达性目标的加权并发定时博弈中的纳什均衡

获取原文
获取原文并翻译 | 示例
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

Timed automata [1] are a well accepted formalism in mod elling real time systems. In this paper, we study concurrent games with two players on timed automata with costs attached to the locations and edges and try to answer the question of the existence of Nash Equilib rium (NE). Considering memoryless strategies, we show that with one clock it is decidable whether there exists a NE where player 1 has a cost bounded by a constant B, while with 3 clocks, it is not. The case of 2 clocks is an interesting open question.
机译：定时自动机[1]是改进实时系统中公认的形式主义。在本文中，我们研究了具有定时自动机的两个玩家同时进行的游戏，并将成本附加到位置和边缘，并试图回答存在纳什均衡（NE）的问题。考虑到无记忆策略，我们表明一个时钟可以决定是否存在一个NE，其中玩家1的成本受常数B的限制，而具有3个时钟的NE则不是。 2个时钟的情况是一个有趣的开放问题。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

  • 客服微信

  • 服务号