Goal-conditioned Behavioral Cloning with Prioritized Sampling. - Fei Ma; Guanjun Liu; Kaiwen Zhang 010 (ICNSC, 2021)

Automatically Transform Rust Source to Petri Nets for Checking Deadlocks. - Kaiwen Zhang 010; Guanjun Liu (CoRR, 2022)

Lightweight unmanned aerial vehicle video object detection based on spatial-temporal correlation. - Pei Zhou; Guanjun Liu; Jiacun Wang; Qianli Weng; Kaiwen Zhang 010; Ziyuan Zhou (Int. J. Commun. Syst., 2022)

MARL Sim2real Transfer: Merging Physical Reality With Digital Virtuality in Metaverse. - Haoran Shi; Guanjun Liu; Kaiwen Zhang 010; Ziyuan Zhou; Jiacun Wang (IEEE Trans. Syst. Man Cybern. Syst., 2023)

TRustPN: Transforming Rust Source Code to Petri Nets for Checking Deadlocks. - Kaiwen Zhang 010; Guanjun Liu (CoDIT, 2024)

An Abstract Interpretation-Based Framework for WCET Analysis of Parallel Programs. - Xinbang Hu; Guanjun Liu; Xiaofeng Li; Kaiwen Zhang 010; Jian Guan; Bin Gu 006 (ICNSC, 2024)

Static Deadlock Detection for Rust Programs. - Yu Zhang; Kaiwen Zhang 010; Guanjun Liu (CoRR, 2024)

Analysis of Real-time Embedded Multi-core Systems Based on Prioritized Time Petri Nets. - Kaiwen Zhang 010; Guanjun Liu; Yantao Sun; Xiaofeng Li; Jian Guan; Yi Xie; Bin Gu 006 (Int. J. Softw. Informatics, 2024)

Robust Multi-Agent Reinforcement Learning Method Based on Adversarial Domain Randomization for Real-World Dual-UAV Cooperation. - Shutong Chen; Guanjun Liu; Ziyuan Zhou; Kaiwen Zhang 010; Jiacun Wang (IEEE Trans. Intell. Veh., 2024)