网络研讨会 · 2021.01.22
ESReDA：可信自动驾驶为何困难
Why is it so hard to make self-driving cars?
资料概述
Joseph Sifakis 以自动驾驶为例讨论不确定环境中的可信自主系统设计，介绍模型驱动与数据驱动方法结合的混合设计及性能与可信性的关系。
网络研讨会 · 2021.01.22
Why is it so hard to make self-driving cars?
Joseph Sifakis 以自动驾驶为例讨论不确定环境中的可信自主系统设计，介绍模型驱动与数据驱动方法结合的混合设计及性能与可信性的关系。