Sign in
Kaiwen Zhang
Publication Activity (10 Years)
Years Active: 2021-2024
Publications (10 Years): 5
Top Topics
Temporal Correlation
Petri Net
Deadlock Detection
Ims Ld
Top Venues
CoRR
ICNSC
IEEE Trans. Syst. Man Cybern. Syst.
Int. J. Commun. Syst.
</>
Publications
</>
Yu Zhang
,
Kaiwen Zhang
,
Guanjun Liu
Static Deadlock Detection for Rust Programs.
CoRR
(2024)
Haoran Shi
,
Guanjun Liu
,
Kaiwen Zhang
,
Ziyuan Zhou
,
Jiacun Wang
MARL Sim2real Transfer: Merging Physical Reality With Digital Virtuality in Metaverse.
IEEE Trans. Syst. Man Cybern. Syst.
53 (4) (2023)
Pei Zhou
,
Guanjun Liu
,
Jiacun Wang
,
Qianli Weng
,
Kaiwen Zhang
,
Ziyuan Zhou
Lightweight unmanned aerial vehicle video object detection based on spatial-temporal correlation.
Int. J. Commun. Syst.
35 (17) (2022)
Kaiwen Zhang
,
Guanjun Liu
Automatically Transform Rust Source to Petri Nets for Checking Deadlocks.
CoRR
(2022)
Fei Ma
,
Guanjun Liu
,
Kaiwen Zhang
Goal-conditioned Behavioral Cloning with Prioritized Sampling.
ICNSC
(2021)