Prof. Li visited Prof. Zhong Shao’s group at Yale and gave a talk on “Towards Assured Autonomy: From System Design to Algorithm”