Login / Signup
Kai-Tao Xie
Publication Activity (10 Years)
Years Active: 2022-2022
Publications (10 Years): 1
Top Topics
Fixpoint
Top Venues
ICRA
</>
Publications
</>
Kai-Tao Xie
,
Jia-Ju Bai
,
Yong-Hao Zou
,
Yu-Ping Wang
ROZZ: Property-based Fuzzing for Robotic Programs in ROS.
ICRA
(2022)