| 标题 |
 Model Checking of Possibilistic Linear-Time Properties Based on Generalized Possibilistic Decision Processes 基于广义可能性决策过程的可能性线性时间性质模型检验
相关领域
可达性
不确定性算法
模型检查
数学
有界函数
可达性问题
线性时序逻辑
离散数学
计算机科学
数学优化
算法
数学分析
|
| 网址 | |
| DOI | |
| 其它 |
期刊：IEEE Transactions on Fuzzy Systems 作者：Yongming Li; Wuniu Liu; Junmei Wang; YU Xian-feng; Chao Li 出版日期：2023-03-22 |
| 求助人 | |
| 下载 | 该求助完结已超 24 小时，文件已从服务器自动删除，无法下载。 |
|
温馨提示：该文献已被科研通 学术中心 收录，前往查看
科研通『学术中心』是文献索引库，收集文献的基本信息（如标题、摘要、期刊、作者、被引量等），不提供下载功能。如需下载文献全文，请通过文献求助获取。
|
wangrblzu
孙燕
从容芮
zho
妖娃娃
个性归尘
jyy
遇上就这样吧
可千万不要躺平呀
OCDer
morena
坚强的严青
YifanWang
nenoaowu
Oculus
elizabeth339
cdercder
ukz37752
过氧化氢
斯寜
皖公网安备34019202002308
