• 主题
高级搜索  >
历史搜索 清空历史
首页> 美国卫生研究院文献>Springer Open Choice >PRISM-games: verification and strategy synthesis for stochastic multi-player games with multiple objectives
【2h】

PRISM-games: verification and strategy synthesis for stochastic multi-player games with multiple objectives

机译：PRISM游戏：具有多个目标的随机多玩家游戏的验证和策略综合

代理获取
本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

PRISM-games is a tool for modelling, verification and strategy synthesis for stochastic multi-player games. These allow models to incorporate both probability, to represent uncertainty, unreliability or randomisation, and game-theoretic aspects, for systems where different entities have opposing objectives. Applications include autonomous transport, security protocols, energy management systems and many more. We provide a detailed overview of the PRISM-games tool, including its modelling and property specification formalisms, and its underlying architecture and implementation. In particular, we discuss some of its key features, which include multi-objective and compositional approaches to verification and strategy synthesis. We also discuss the scalability and efficiency of the tool and give an overview of some of the case studies to which it has been applied.
机译：PRISM游戏是用于随机多玩家游戏的建模，验证和策略综合的工具。对于不同实体具有相反目标的系统，这些允许模型结合概率来表示不确定性，不可靠性或随机性以及博弈论方面。应用包括自动运输，安全协议，能源管理系统等等。我们提供了PRISM游戏工具的详细概述，包括其建模和属性规范形式，以及其基础体系结构和实现。特别是，我们讨论了其一些关键功能，包括验证和策略综合的多目标和组合方法。我们还将讨论该工具的可伸缩性和效率，并概述了已应用该工具的一些案例研究。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
代理获取

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号