Wenbo Guo

4

Papers

8

Total Citations

Papers (4)

PatchPilot: A Cost-Efficient Software Engineering Agent with Early Attempts on Formal Verification

Temporal Logic-Based Multi-Vehicle Backdoor Attacks against Offline RL Agents in End-to-end Autonomous Driving

3CAD: A Large-Scale Real-World 3C Product Dataset for Unsupervised Anomaly Detection

SHINE: Shielding Backdoors in Deep Reinforcement Learning