Wensen Mao

Publication Activity (10 Years)

Years Active: 2019-2023
Publications (10 Years): 3

Top Topics

Mazurkiewicz Traces

Reinforcement Learning Agents

Top Venues

IEEE/ACM Trans. Netw.

Publications

Shaoke Xi, Kai Bu, Wensen Mao, Xiaoyu Zhang, Kui Ren, Xinxin Ren
RuleOut Forwarding Anomalies for SDN. IEEE/ACM Trans. Netw. 31 (1) (2023)
Wenjie Qiu, Wensen Mao, He Zhu
Instructing Goal-Conditioned Reinforcement Learning Agents with Temporal Logic Objectives. NeurIPS (2023)
Anxiao He, Yubai Xie, Wensen Mao, Tienpei Yeh
Divide and Conquer: Efficient Multi-path Validation with ProMPV. QSHINE (2019)