本文介绍了一种建立数据和需求导向的感知合同精化算法,用于飞行控制系统的安全性测试。通过分析多阶段异构的机器学习增强感知,提供可测试的合同以确定飞机和无人机的安全性,并发现了可能违反基于视觉的控制系统安全性的条件。
正在访问的资源需要验证您是否真人。
或在微信中搜索公众号“小红花技术领袖”并关注
第二步:在公众号对话中发送验证码: