发布文献求助
待确认
  • 文献求助详情
标题
Model Checking of Possibilistic Linear-Time Properties Based on Generalized Possibilistic Decision Processes
基于广义可能性决策过程的可能性线性时间性质模型检验
相关领域
可达性 不确定性算法 模型检查 数学 有界函数 可达性问题 线性时序逻辑 离散数学 计算机科学 数学优化 算法 数学分析
网址
https://doi.org/10.1109/tfuzz.2023.3260446
DOI
10.1109/tfuzz.2023.3260446 doi
其它 期刊：IEEE Transactions on Fuzzy Systems
作者：Yongming Li; Wuniu Liu; Junmei Wang; YU Xian-feng; Chao Li
出版日期：2023-03-22
求助人
Lululu 在 2024-10-08 19:24:17 发布，悬赏 10 积分
下载
 
温馨提示：该文献已被科研通 学术中心 收录，前往查看
科研通『学术中心』是文献索引库，收集文献的基本信息（如标题、摘要、期刊、作者、被引量等），不提供下载功能。如需下载文献全文，请通过文献求助获取。
上个求助
下个求助
相关文献
  1. The complexity of reachability in distributed communicating processes
  2. SimpleCAR: An Efficient Bug-Finding Tool Based on Approximate Reachability
  3. Reachability analysis of GSPDIs
  4. Recent Advances on Reachability Problems for Valence Systems (Invited Talk)
  5. Reachability Problems
  6. Unfolding Based Algorithms for the Reachability Problem
  7. Flat Petri Nets (Invited Talk)
  8. The Reachability Problem for Petri Nets is Not Primitive Recursive
  9. Generalized submarking reachability problems under unknown firing count vectors and their inverse pr...
  10. The complexity of reachability in distributed communicating processes
　...点击展开更多...　
求助 / 应助时间线

  • 请等待求助人确认

    已经有人上传了文献，该状态下其他人无法上传，请等待求助人确认该文件是否是他需要的。
    如果求助人在 48 小时内还未确认，系统默认应助成功，本求助将自动关闭。

  • 2小时前

    领导范儿 领导范儿 Lv11 上传了文件

    待审核 Model_Checking_of_Possibilistic_Linear-Time_Properties_Based_on_Generalized_Possibilistic_Decision_Processes.pdf (1.23 MB)

  • 2小时前

    科研通AI2.0 科研通AI2.0 机器人 未找到该文献，机器人已退出，请等待人工下载

    19:24:19 未找到该文献，机器人已退出，请等待人工下载
    19:24:17 科研通AI机器人（英国 伦敦）收到请求，开始寻找文献
    19:24:17 已向机器人发送请求

  • 2小时前

    Lululu Lululu 求助人 Lv11 发起了本次求助

更新
大幅提高文件上传限制，最高150M (2024-4-1)
科研通是完全免费的文献互助平台，具备全网最快的应助速度，最高的求助完成率。 对每一个文献求助，科研通都将尽心尽力，给求助人一个满意的交代。
实时播报
十文字发布了新的文献求助10
1秒前
1秒前
Darlene发布了新的文献求助10
2秒前
2秒前
皮皮发布了新的文献求助10
2秒前
打打的应助被Papillon_0091采纳，获得10
3秒前
缓慢冬莲完成签到，获得积分10
5秒前
Zq完成签到 ，获得积分10
6秒前
6秒前
bioli完成签到，获得积分10
6秒前
猹HU完成签到 ，获得积分10
7秒前
十文字完成签到，获得积分10
7秒前
8秒前
赘婿的应助被失眠采纳，获得10
8秒前
8秒前
JamesPei的应助被Ruogu采纳，获得10
9秒前
李健的小迷弟的应助被Jodie采纳，获得10
11秒前
shinysparrow的应助被复杂的巧曼采纳，获得30
11秒前
12秒前
爆米花的应助被mdmdd采纳，获得10
12秒前
隐形裘关注了科研通微信公众号
13秒前
科研通AI2S的应助被Darlene采纳，获得10
14秒前
NIER发布了新的文献求助10
14秒前
15秒前
16秒前
16秒前
17秒前
17秒前
总之先睡觉完成签到 ，获得积分10
17秒前
17秒前
缓慢冬莲发布了新的文献求助10
19秒前
陈少华完成签到 ，获得积分10
19秒前
20秒前
科研通AI2S的应助被MrCoolWu采纳，获得10
20秒前
alex发布了新的文献求助10
20秒前
21秒前
21秒前
ipainkiller发布了新的文献求助10
21秒前
21秒前
Ruogu发布了新的文献求助10
22秒前
高分求助中
Exploring Mitochondrial Autophagy Dysregulation in Osteosarcoma: Its Implications for Prognosis and Targeted Therapy 2000
Impact of Mitophagy-Related Genes on the Diagnosis and Development of Esophageal Squamous Cell Carcinoma via Single-Cell RNA-seq Analysis and Machine Learning Algorithms 2000
QMS18Ed2 | process management. 2nd ed 600
LNG as a marine fuel—Safety and Operational Guidelines - Bunkering 560
晶体非线性光学：带有 SNLO 示例（第二版） 500
Fatigue, environmental factors, and new materials : presented at the 1998 ASME/JSME Joint Pressure Vessels and Piping Conference : San Diego, California, July 26-30, 1998 500
Clinical Interviewing, 7th ed 400
热门求助领域 （近24小时）
化学 医学 材料科学 生物 工程类 有机化学 生物化学 物理 内科学 纳米技术 计算机科学 化学工程 复合材料 基因 遗传学 物理化学 催化作用 免疫学 细胞生物学 电极
热门帖子
关注 科研通微信公众号，转发送积分 2945279
求助须知：如何正确求助？哪些是违规求助？ 2604798
关于积分的说明 7015437
捐赠科研通 2245807
什么是DOI，文献DOI怎么找？ 1191627
版权声明 590367
科研通“疑难数据库（出版商）”最低求助积分说明 583240
Copyright © 2020-2024 AbleSci.COM, 科研通, All Right Reserved
科研通是非营利科研互助平台，不忘初心，为科研助力
本站互助的所有文件仅供个人学习研究用，禁止任何人把求助的所得文献进行盈利或传播
版权声明 关于本站 捐赠本站 提交工单 客服中心
皖ICP备2024041134号-1 皖公网安备34019202002308
科研通【文献互助QQ群】：如果您有特殊求助，或发布求助超过24小时未得到应助，可加群求助，群号：826996720【点击一键加群】
科研通【志愿服务QQ群】：如果您热爱文献互助，有热心愿意为更多人服务，请加入小伙伴群，点击申请加入
关注微信服务号
科研通