资讯

【安全关键系统验证】斯坦福大学AA228V验证安全关键系统：通过优化进行反驳｜Stanford Online

Bili-科技·2026/9/11 20:30:37🔗 原文

📋总体概括

https://www.youtube.com/watch?v=iO6OACXaF1Q 🎯 本期看点 Sydney Katz，斯坦福大学博士后研究员 📚 课程介绍 Mykel Kochenderfer，斯坦福大学航空航天与 astronautics 教授，兼计算机科学系客座教授 🌐 口袋学堂｜精选、翻译和整理全球优质学习课程 🔗 更多课程与学习资源：https://www.koudaizy.

⚡关键信息

▸https://www.youtube.com/watch?v=iO6OACXaF1Q
▸🎯 本期看点
▸Sydney Katz，斯坦福大学博士后研究员

📰 相关资讯（与本文相关的其他资讯）

资讯锂电池本月起征税，有电池企业率先涨价！谁来买单？业内：10万元以内纯电车压力最大，二三线电池厂商站到悬崖边上🔥9.0

华尔街见闻·2026/9/10

资讯三次部委座谈会后，锂电扩产之门“暂闭”🔥9.0

虎嗅·2026/9/10

资讯独家｜国内动力电池、储能电池新建项目“踩刹车” 有待年底考核🔥9.0

财新·2026/9/10

资讯储能电池扩产急刹车🔥9.0

虎嗅·2026/9/8

本文由本站自动聚合，以下为原始来源：前往 Bili-科技阅读全文 →

← 返回资讯流