原文：今天来聊一聊对机器人进行形式化验证的必要性
复杂系统与控制
eug    阅2341    转39
数据系统架构
码农书馆    阅68
现代自然科学研究方法
天行健-任我行    阅2427    转49
复杂性
我爱高等数学    阅83    转2
<<复杂性中的思维>> 作者：克劳斯·迈因策尔[德] 曾国屏 译8
养生丸子    阅267    转16
中医学为复杂性科学的涌现性及其方法论难题提供了解决之道
百草园丁馆    阅199    转10
级列设计理论
Gemmy    阅121    转7
混沌，又一次数学之旅
米老鼠64    阅116    转7
坤鹏论：不是还原论不明白 只是这个非线性的世界太复杂
高天明月图书馆    阅98    转6
生态建模中的物极必反原理
关心明天    阅182    转6
中医学方法论解决了复杂性科学难题
闲着无聊爱看书    阅133    转6
202230:火花--《涌现》&& 0x1B ：笔记--往事再上心头
伊卡洛斯之翼    阅115    转2
仿真中的降阶建模（ROM）与模型降阶（MOR）
基算仿真    阅1722    转5
经济动力学的剧本
sunflowerw386w    阅27
自动驾驶基础(五十四) -无人驾驶操作系统四
ZHAOHUI82    阅574    转23
一次失误告诉我们，在 Mobileye 称霸自动驾驶之前，它还需要解决一些问题
爱因思念l5j0t8    阅82    转2
改善云安全性的10条规则
xiaobei2010    阅4
工业交换机安全性能的必要性
飞畅光通信    阅5
锂离子电池串并联可靠性与安全性分析
jay1958    阅706    转8
CISP
wubi82eoepd971    阅8
关于数组的广播和模型类型系统，你有那些了解？
办公技巧达人    阅5
哈佛商业列出的2016年8大科学技术趋势
边界处晋级    阅19
高中数学：“充分性”与“必要性”的三种判定方法，一个不能少！
拾叁亿人    阅229    转7
“我花3万块学习，最后却丢了工作”：职场崩溃式失败怎么破？
瑞希在线    阅7326    转185
数据中心最佳安全性将建立在缺乏信任的基础之上
yi321yi    阅15
帮助机器人在运行时纠正错误并促进其相互学习
漫步之心情    阅35
聊天机器人的兴起带来的思考：人工智能将如何改变数学？
天承办公室    阅43    转2
写字的机器（一）
自在3333    阅9
一种新的机器学习系统可赋予机器人社交技能
brainnews    阅16
为什么手机重启后，必须要手动输密码，看完算知道必要性了
广州小玉玉    阅307    转3