Runtime verification of self-adaptive multi-agent system using probabilistic timed automata

已完结

文献求助详情

标题	[高分] Runtime verification of self-adaptive multi-agent system using probabilistic timed automata 基于概率时间自动机的自适应多agent系统运行时验证相关领域计算机科学正确性运行时验证概率逻辑分布式计算自动机过程（计算）模型检查形式验证理论计算机科学算法程序设计语言人工智能
网址	https://doi.org/10.3233/jifs-232397
DOI	10.3233/jifs-232397 doi
其它	期刊：Journal of intelligent & fuzzy systems 作者：Mu Yongan; Wei Liu; Tao Lü; Juan Li; Shen Gao; et al 出版日期：2023-12-02
求助人	刘笑白在 2024-04-25 15:52:11 发布自黑龙江，悬赏 80 积分
下载	该求助完结已超 24 小时，文件已从服务器自动删除，无法下载。
	温馨提示：该文献已被科研通学术中心收录，前往查看科研通『学术中心』是文献索引库，收集文献的基本信息（如标题、摘要、期刊、作者、被引量等），不提供下载功能。如需下载文献全文，请通过文献求助获取。

上个求助

下个求助

该求助已完结，感谢关注

如需该文献，请重新发布求助，前往发布

科研通，让科研之路畅通无阻

请遵守相关知识产权规定，勿将文件分享给他人，仅可用于个人研究学习

我的文献求助列表浏览历史

一分钟了解求助规则 | 捐赠本站 | 论文查重

更新

大幅提高文件上传限制，最高150M (2024-4-1)

更新

新增期刊收藏功能 (2024-03-23)

科研通是完全免费的文献互助平台，具备全网最快的应助速度，最高的求助完成率。对每一个文献求助，科研通都将尽心尽力，给求助人一个满意的交代。

实时播报: 无花果的应助被rloooooooo采纳，获得10

刚刚; 复杂的雅绿上传了应助文件

刚刚; 科研通AI2S的应助被我是125采纳，获得10

1秒前; 星辰大海上传了应助文件

2秒前; 科研通AI2S上传了应助文件

3秒前; wjw完成签到，获得积分10

3秒前; ninini上传了应助文件

4秒前; 假寐完成签到，获得积分20

4秒前; liwanting完成签到，获得积分10

5秒前; 少管我完成签到，获得积分10

5秒前; ding的应助被Spectator采纳，获得100

6秒前; 顽固分子完成签到，获得积分10

6秒前; 李健的小迷弟上传了应助文件

6秒前; liuxl发布了新的文献求助10

7秒前; 忧郁绿柏完成签到，获得积分10

7秒前; 小马甲上传了应助文件

7秒前; 大个上传了应助文件

9秒前; 咿呀咿呀发布了新的文献求助10

9秒前; 慕青上传了应助文件

10秒前; 忧郁绿柏发布了新的文献求助10

10秒前; 外向青筠发布了新的文献求助10

12秒前; yhc完成签到，获得积分10

13秒前; 今后的应助被wjw采纳，获得10

14秒前; 123发布了新的文献求助10

14秒前; 典雅涵瑶发布了新的文献求助10

14秒前; 假寐发布了新的文献求助10

16秒前; 科研通AI2.0上传了应助文件

17秒前; hzy完成签到，获得积分10

18秒前; res发布了新的文献求助10

19秒前; 天天快乐的应助被YeMM采纳，获得30

20秒前; lalala发布了新的文献求助10

20秒前; orixero的应助被忧郁绿柏采纳，获得10

20秒前; Singularity上传了应助文件

23秒前; 完美的珠完成签到，获得积分20

24秒前; 李健的粉丝团团长的应助被liwanting采纳，获得10

24秒前; 飞翔完成签到，获得积分10

26秒前; 爆米花的应助被tyZhang采纳，获得10

26秒前; Lottie发布了新的文献求助10

27秒前; 天真的不尤完成签到，获得积分10

28秒前; 雪儿完成签到，获得积分10

30秒前