Divide and Conquer: Efficient Multi-path Validation with ProMPV. - Anxiao He; Yubai Xie; Wensen Mao; Tienpei Yeh (QSHINE, 2019)

Instructing Goal-Conditioned Reinforcement Learning Agents with Temporal Logic Objectives. - Wenjie Qiu 002; Wensen Mao; He Zhu 001 (NeurIPS, 2023)

RuleOut Forwarding Anomalies for SDN. - Shaoke Xi; Kai Bu; Wensen Mao; Xiaoyu Zhang; Kui Ren 001; Xinxin Ren (IEEE/ACM Trans. Netw., 2023)

Learning World Models for Unconstrained Goal Navigation. - Yuanlin Duan; Wensen Mao; He Zhu 001 (NeurIPS, 2024)