Efficient realizability verification of reactive system specifications without approximation
Efficient realizability verification of reactive system specifications without approximation
无需近似即可有效验证反应式系统规范的可实现性
批准号：
15K15969
负责人：
Shimakawa Masaya
金额：
$2.41万
依托单位国家：
日本
项目类别：
Grant-in-Aid for Young Scientists (B)
财政年份：
2015
资助国家：
日本
项目状态：
已结题
起止时间：
2015-04-01 至 2019-03-31
中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
期刊论文(15)
专著(0)
科研奖励(0)
会议论文
登录
查看更多内容
DOI：
--
发表时间：
2017
期刊：
影响因子：
--
作者：
[Masaya Shimakawa, Shigeki Hagihara, Naoki Yonezaki]
通讯作者：
Naoki Yonezaki
Combining Unification and Rewriting in Proofs for Modal Logics with First-order Undefinable Frames
模态逻辑证明中的统一和重写与一阶不可定义框架相结合
模态逻辑证明中的统一和重写与一阶不可定义框架相结合
DOI：
10.2991/icmmct-17.2017.140
发表时间：
2017
期刊：
Advances in Engineering
影响因子：
--
作者：
[Shigeki Hagihara, Masahiko Tomoishi, Masaya Shimakawa, Naoki Yonezaki]
通讯作者：
Naoki Yonezaki
Towards Unbounded Realizability Checking
走向无限的可实现性检查
走向无限的可实现性检查
DOI：
--
发表时间：
2015
期刊：
影响因子：
--
作者：
[Masaya Shimakawa, Shigeki Hagihara, Naoki Yonezaki]
通讯作者：
Naoki Yonezaki
実現可能性の必要条件に基づいた不完全リアクティブシステム合成
基于可行性需求的不完整反应系统综合
基于可行性需求的不完整反应系统综合
DOI：
--
发表时间：
2015
期刊：
影响因子：
--
作者：
[冨田尭, 萩原茂樹, 島川昌也, 米崎直樹]
通讯作者：
米崎直樹
Safraless LTL Synthesis Considering Maximal Realizability
考虑最大可实现性的Safraless LTL合成
考虑最大可实现性的Safraless LTL合成
DOI：
10.1007/s00236-016-0280-3
发表时间：
2016
期刊：
Acta Informatica
影响因子：
0.6
作者：
[Takashi Tomita, Atsushi Ueno, Masaya Shimakawa, Shigeki Hagihara, Naoki Yonezaki]
通讯作者：
Naoki Yonezaki
共 14 条
Efficient methods of operating omega-automata and its applications to specification verification
-
批准号：18K18028
-
项目类别：Grant-in-Aid for Early-Career Scientists
-
资助金额：$2.58万
-
财政年份：2018
-
负责人：Shimakawa Masaya
-
依托单位：
海外基金