时序逻辑博弈问题的必胜策略检测

时序逻辑博弈问题的必胜策略检测

出版社：中国科学院

出版年：2012

作者：梁虹

资源类型：图书

细分类型：中文文献,学位论文

1浏览量

问图书管理员

点赞

收藏

访问借阅管理系统

扩展时序协作逻辑的模型检测方法研究

作者：纪玮
出版年：2016

超协调时序逻辑及其模型检测方法

作者：陈冬火
出版年：2006

时序逻辑语言XYZ/E的图形语言

作者：龚洁
出版年：1989

UML活动图的时序逻辑语义

作者：朱雪阳
出版社：中国科学院
出版年：2003

多智能体自动机及其在时序认知逻辑验证问题上的应用

作者：高雅
出版社：中国科学院软件研究所
出版年：2022

策略博弈

作者：迪克西特
ISBN：9787300101354
出版社：中国人民大学出版社
出版年：2009