Learning Deterministic One-Clock Timed Automata via Mutation Testing

已完结

文献求助详情

标题	Learning Deterministic One-Clock Timed Automata via Mutation Testing 相关领域计算机科学甲骨文公司自动机等价（形式语言）主动学习（机器学习）突变机器学习启发式人工智能理论计算机科学数学程序设计语言离散数学生物化学基因化学
网址	https://doi.org/10.1007/978-3-031-19992-9_15
DOI	10.1007/978-3-031-19992-9_15 doi
其它	期刊：Springer eBooks 作者：Xiaochen Tang; Wei Shen; Miaomiao Zhang; Jie An; Bohua Zhan; et al 出版日期：2022-01-01
求助人	颜从筠在 2023-04-20 21:23:39 发布自北京，悬赏 10 积分
下载	该求助完结已超 24 小时，文件已从服务器自动删除，无法下载。
	温馨提示：该文献已被科研通学术中心收录，前往查看科研通『学术中心』是文献索引库，收集文献的基本信息（如标题、摘要、期刊、作者、被引量等），不提供下载功能。如需下载文献全文，请通过文献求助获取。

Society for Industrial and Applied Mathematics (SIAM)

上个求助

该求助已完结，感谢关注

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

科研通，让源源不断科研创作灵感的涌现之地

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

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

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

更新

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

更新

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

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

建议保存本图，每天支付宝扫一扫（相册选取）领红包

实时播报: JamesPei的应助被婷婷采纳，获得10

1秒前; 涛涛完成签到，获得积分10

2秒前; LL发布了新的文献求助10

2秒前; Akim上传了应助文件

4秒前; 共享精神上传了应助文件

4秒前; 秋雪瑶上传了应助文件

5秒前; 如意完成签到，获得积分10

5秒前; 所所上传了应助文件

6秒前; 小草莓爱嘻嘻发布了新的文献求助10

8秒前; 香蕉觅云的应助被LL采纳，获得10

9秒前; 觅云的应助被LL采纳，获得10

9秒前; 凶狠的绿兰发布了新的文献求助10

9秒前; 木c发布了新的文献求助10

10秒前; 罗静发布了新的文献求助10

11秒前; sobergod完成签到，获得积分10

13秒前; pluto的应助被小草莓爱嘻嘻采纳，获得10

15秒前; 深情安青上传了应助文件

17秒前; 丘比特上传了应助文件

18秒前; 在水一方上传了应助文件

19秒前; 天才熊小猫发布了新的文献求助10

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

23秒前; 无花果上传了应助文件

23秒前; David完成签到，获得积分10

23秒前; 潇洒日记本发布了新的文献求助10

25秒前; 文艺的老鼠发布了新的文献求助10

26秒前; 慕青的应助被MAJINBUU采纳，获得10

26秒前; phil完成签到，获得积分10

26秒前; 黄昏起飞的猫头鹰发布了新的文献求助10

29秒前; 希望天下0贩的0的应助被tt采纳，获得10

31秒前; 赘婿上传了应助文件

33秒前; Lucas上传了应助文件

36秒前; SXR完成签到，获得积分10

38秒前; 汉堡包的应助被文艺的老鼠采纳，获得10

43秒前; 黄昏起飞的猫头鹰完成签到，获得积分10

43秒前; 大胆的雪一发布了新的文献求助10

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

44秒前; 禹子骞完成签到，获得积分10

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

49秒前; shinysparrow给佛见笑的求助进行了留言

53秒前; 斯文败类的应助被冷静的宛采纳，获得10

54秒前