论文
Large Language Models as Falsifiers for Cyber-Physical Systems
将大语言模型用于网络物理系统（CPS）的形式化规格证伪，拓展LLM在安全关键领域的验证能力
首次收录 2026-09-18热度 1.0
cpsformal-methodsverification
暂未评估,等待下一轮评分。
事件时间线
暂无事件。
关联信号
想把「Large Language Models as Falsifiers for Cyber-Physical Systems」相关的机会落到自己的业务上?
想把 AI 机会落到自己的业务上?
灯塔背后的优秘智能团队提供:AI 落地咨询 · GEO 优化(让 AI 搜索推荐你的品牌) · 定制开发。留下需求,1 个工作日内回复。