Formally Guaranteed Tight Dynamic Future Occupancy of Autonomous Vehicles. - Yousaf Rahman; Md Tawhid Bin Waez; Yuming Niu (FM, 2021)

Safety-aware Causal Representation for Trustworthy Reinforcement Learning in Autonomous Driving. - Haohong Lin; Wenhao Ding; Zuxin Liu; Yaru Niu; Jiacheng Zhu; Yuming Niu; Ding Zhao (CoRR, 2023)

Safety-Aware Causal Representation for Trustworthy Offline Reinforcement Learning in Autonomous Driving. - Haohong Lin; Wenhao Ding; Zuxin Liu; Yaru Niu; Jiacheng Zhu; Yuming Niu; Ding Zhao (IEEE Robotics Autom. Lett., 2024)