刷新
{{item.name}}会员
Efficient realizability verification of reactive system specifications without approximation
无需近似即可有效验证反应式系统规范的可实现性
基本信息
- 批准号：15K15969
- 负责人：
- 金额：$ 2.41万
- 依托单位：
- 依托单位国家：日本
- 项目类别：Grant-in-Aid for Young Scientists (B)
- 财政年份：2015
- 资助国家：日本
- 起止时间：2015-04-01 至 2019-03-31
- 项目状态：已结题
- 来源：
- 关键词：
项目摘要
项目成果
期刊论文数量（15）
专著数量（0）
科研奖励数量（0）
会议论文数量（0）
专利数量（0）
Towards Improvements of Bounded Realizability Checking
改进有界可实现性检查
- DOI：
- 发表时间：2017
- 期刊：
- 影响因子：0
- 作者：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
- 期刊：
- 影响因子：0
- 作者：Shigeki Hagihara;Masahiko Tomoishi;Masaya Shimakawa;Naoki Yonezaki
- 通讯作者：Naoki Yonezaki
Towards Unbounded Realizability Checking
走向无限的可实现性检查
- DOI：
- 发表时间：2015
- 期刊：
- 影响因子：0
- 作者：Masaya Shimakawa;Shigeki Hagihara;Naoki Yonezaki
- 通讯作者：Naoki Yonezaki
Safraless LTL Synthesis Considering Maximal Realizability
考虑最大可实现性的Safraless LTL合成
- DOI：10.1007/s00236-016-0280-3
- 发表时间：2016
- 期刊：
- 影响因子：0.6
- 作者：Takashi Tomita;Atsushi Ueno;Masaya Shimakawa;Shigeki Hagihara;Naoki Yonezaki
- 通讯作者：Naoki Yonezaki
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
数据更新时间：{{ journalArticles.updateTime }}
{{ item.title }}
- 作者：
{{ item.author }}
数据更新时间：{{ monograph.updateTime }}
{{ item.title }}
- 作者：
{{ item.author }}
数据更新时间：{{ sciAawards.updateTime }}
{{ item.title }}
- 作者：
{{ item.author }}
数据更新时间：{{ conferencePapers.updateTime }}
{{ item.title }}
- 作者：
{{ item.author }}
数据更新时间：{{ patent.updateTime }}
Shimakawa Masaya其他文献
Efficient Realizability Checking by Modularization of LTL Specifications
通过零担规范模块化进行高效的可实现性检查
- DOI：
10.1093/comjnl/bxab116 - 发表时间：
2021 - 期刊：
- 影响因子：0
- 作者：
Ito Sohei;Osari Kenji;Shimakawa Masaya;Hagihara Shigeki;Yonezaki Naoki - 通讯作者：
Yonezaki Naoki
Shimakawa Masaya的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
{{ truncateString('Shimakawa Masaya', 18)}}的其他基金
Efficient methods of operating omega-automata and its applications to specification verification
欧米伽自动机的有效操作方法及其在规范验证中的应用
- 批准号：
18K18028 - 财政年份：2018
- 资助金额：
$ 2.41万 - 项目类别：
Grant-in-Aid for Early-Career Scientists
相似海外基金
周産期緩和ケアに基づく協働意思決定の実装：外来における意思決定ガイドの実現可能性
实施基于围产期姑息治疗的协作决策：门诊决策指南的可行性
- 批准号：
24K20362 - 财政年份：2024
- 资助金额：
$ 2.41万 - 项目类别：
Grant-in-Aid for Early-Career Scientists
Cascaded-ANFISと機械学習による長期的な降雨-流出予測の実現可能性の検証
使用 Cascaded-ANFIS 和机器学习验证长期降雨径流预测的可行性
- 批准号：
24K15091 - 财政年份：2024
- 资助金额：
$ 2.41万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
超小型衛星エアロブレーキの実現可能性に関する研究
微卫星空中制动可行性研究
- 批准号：
24K17444 - 财政年份：2024
- 资助金额：
$ 2.41万 - 项目类别：
Grant-in-Aid for Early-Career Scientists
新しい液体塞栓物質NLIを用いたBRTOの実現可能性と安全性の検討
使用新型液体栓塞材料NLI检验BRTO的可行性和安全性
- 批准号：
24K10767 - 财政年份：2024
- 资助金额：
$ 2.41万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
「福祉コミュニティ」における公私協働の実現可能性を有する事例の調査研究
“福利社区”公私合作可能案例的调查研究
- 批准号：
23K12670 - 财政年份：2023
- 资助金额：
$ 2.41万 - 项目类别：
Grant-in-Aid for Early-Career Scientists
一般確率論と状態識別性能を用いた大規模量子系の実現可能性の定量的評価
利用广义概率论和状态判别性能定量评估大规模量子系统的可行性
- 批准号：
22KJ1572 - 财政年份：2023
- 资助金额：
$ 2.41万 - 项目类别：
Grant-in-Aid for JSPS Fellows
裁判所の国際化あるいは「英米法化」の実現可能性についての研究
法院国际化或“英美法”的可行性研究
- 批准号：
22K13292 - 财政年份：2022
- 资助金额：
$ 2.41万 - 项目类别：
Grant-in-Aid for Early-Career Scientists
振る舞い仕様の効率的な実現可能性判定のための分割検証法
高效确定行为规范可行性的分割验证方法
- 批准号：
22K11980 - 财政年份：2022
- 资助金额：
$ 2.41万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
小学生の育ちを支える学校内学童保育所の学校連携と地域拠点性の実現可能性
支持小学生发展的校内托儿所的学校合作和区域中心的可能性
- 批准号：
22K04480 - 财政年份：2022
- 资助金额：
$ 2.41万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
インセンティブ規制としての離職権の実現可能性をめぐる総合的研究
退出权作为激励性规制可行性的综合研究
- 批准号：
21K01174 - 财政年份：2021
- 资助金额：
$ 2.41万 - 项目类别：
Grant-in-Aid for Scientific Research (C)