| 标题 |
 Neural networks in closed-loop systems: Verification using interval arithmetic and formal prover 闭环系统中的神经网络：使用区间算法和形式证明器的验证
相关领域
计算机科学
煤气表校准仪
形式验证
算术
区间（图论）
区间算术
自动定理证明
形式化方法
算法
程序设计语言
数学证明
数学
几何学
有界函数
组合数学
数学分析
|
| 网址 | |
| DOI | |
| 其它 |
期刊：Engineering Applications of Artificial Intelligence 作者：Federico Rossi; Cinzia Bernardeschi; Marco Cococcioni 出版日期：2024-11-01 |
| 求助人 | |
| 下载 | 该求助完结已超 24 小时，文件已从服务器自动删除，无法下载。 |
|
温馨提示：该文献已被科研通 学术中心 收录，前往查看
科研通『学术中心』是文献索引库，收集文献的基本信息（如标题、摘要、期刊、作者、被引量等），不提供下载功能。如需下载文献全文，请通过文献求助获取。
|
加菲丰丰
shinysparrow
寻道图强
可口可乐了
乐乐乐乐乐乐
景辣条
精明元霜
mmyhn
sirius
AireenBeryl531
星辰大海
kento
morena
丘比特
浅尝离白
从容芮
爱静静
共享精神
领导范儿
123木头人
皖公网安备34019202002308
