Verifying Neural Network Controlled Systems Using Neural Networks

求助中

文献求助详情

标题	Verifying Neural Network Controlled Systems Using Neural Networks
网址	http://dx.doi.org/10.1145/3501710.3519511
DOI	10.1145/3501710.3519511 doi
求助人	356316a1365f274c 在 2026-10-29 05:45:19 发布自德国，悬赏 10 积分
下载	暂无链接，等待应助者上传

上个求助

下个求助

提交工单

求助 / 应助时间线

现在，等待您上传文献

当前有 17 位研友正在围观本求助： Sledge 356316a1365f274c nnn 莫不静好温暖元柏安于心 MOS xiekai301 Atlantis 大香樟树 aabot 陌笙忆笙吃葡萄不吐葡萄皮 alpv 伍六七安静的花卷

对不起，您需要登录才可以上传文件。
进入登录页面
58分钟前

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

05:45:24 未找到该文献，机器人已退出，请等待人工下载

05:45:20 科研通AI机器人（新加坡）收到请求，开始寻找文献

05:45:19 已向机器人发送请求
58分钟前

356316a1365f274c Lv1 求助人发起了本次求助

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

一分钟了解求助规则 | 捐赠本站 | 历史今天

更新

⚡ 2026年影响因子、分区 已更新！ (2026-6-17)

更新

📰 新增『新锐期刊分区』 (2026-3-24)

更新

💬 新增更精细的自定义提醒设置 (2026-1-4)

新增

🕒 每天60秒读懂世界·精选全球要闻 (2026-1-2)

新增

PDF的下载单位、IP信息已删除 (2025-6-4)

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

实时播报: 峰1992发布了新的文献求助10

4秒前; 粗犷的骁完成签到，获得积分10

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

6秒前; 我不是哪吒完成签到，获得积分10

7秒前; 耶耶完成签到，获得积分10

9秒前; null上传了应助文件

9秒前; 忧郁的芳完成签到，获得积分10

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

12秒前; null的应助被科研通管家采纳，获得10

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

19秒前; ASCC完成签到，获得积分10

22秒前; xiaoyi完成签到，获得积分10

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

29秒前; 皮皮完成签到，获得积分10

33秒前; 小蘑菇上传了应助文件

33秒前; 皮皮发布了新的文献求助10

39秒前; xiaoze完成签到，获得积分10

39秒前; 贤惠的觅夏完成签到，获得积分10

40秒前; 林韵悠扬完成签到，获得积分10

42秒前; null上传了应助文件

44秒前; hh完成签到，获得积分10

52秒前; 33完成签到，获得积分10

53秒前; 御坂10576号完成签到，获得积分10

53秒前; 小名完成签到，获得积分10

54秒前; 无限凛完成签到，获得积分10

1分钟前; parantal完成签到，获得积分10

1分钟前; 小名完成签到，获得积分10

1分钟前; null上传了应助文件

1分钟前; 内向易文完成签到，获得积分10

1分钟前; 欣喜的英姑完成签到，获得积分10

1分钟前; 水泥完成签到，获得积分10

1分钟前; 万能图书馆上传了应助文件

1分钟前; 快乐舒完成签到，获得积分10

1分钟前; guoxihan完成签到，获得积分10

1分钟前; 机灵的妙菡发布了新的文献求助10

1分钟前; 机灵的妙菡发布了新的文献求助10

1分钟前; 搜集达人上传了应助文件

1分钟前; hebnkygzs完成签到，获得积分10

1分钟前; CipherSage上传了应助文件

1分钟前; ninini完成签到，获得积分10

1分钟前