activity
20222024
most citedPartially Observable Mean Field Multi-Agent Reinforcement Learning Based on Graph-Attention

23 citations · 47 across the 5 of their papers we have counts for

collaborators
Showing 2022Show all

1 paper · 1 filter

cs.PL2022

Petri Nets-based Methods on Automatically Detecting for Concurrency Bugs in Rust Programs

Kaiwen Zhang, Guanjun Liu

Rust's memory safety guarantees, notably ownership and lifetime systems, have driven its widespread adoption. Concurrency bugs still occur in Rust programs, and existing detection…