Wenchao Li
Boston University
H-index: 30
North America-United States
Top articles of Wenchao Li
Reglo: Provable neural network repair for global robustness properties
Proceedings of the AAAI Conference on Artificial Intelligence
2024/3/24
Temporal Logic Specification-Conditioned Decision Transformer for Offline Safe Reinforcement Learning
arXiv preprint arXiv:2402.17217
2024/2/27
DeLF: Designing Learning Environments with Foundation Models
arXiv preprint arXiv:2401.08936
2024/1/17
Wenchao Li
H-Index: 19
Secure Control of Connected and Automated Vehicles Using Trust-Aware Robust Event-Triggered Control Barrier Functions
arXiv preprint arXiv:2401.02306
2024/1/4
Polar-express: Efficient and precise formal reachability analysis of neural-network controlled systems
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
2023/11/8
Universal Trojan Signatures in Reinforcement Learning
2023/10/28
Verification and Design of Robust and Safe Neural Network-enabled Autonomous Systems
2023/9/26
Merging control in mixed traffic with safety guarantees: a safe sequencing policy with optimal motion control
2023/9/24
Ehsan Sabouni
H-Index: 0
Wenchao Li
H-Index: 19
Trust-aware resilient control and coordination of connected and automated vehicles
2023/9/24
Optimal control of connected automated vehicles with event-triggered control barrier functions: a test bed for safe optimal merging
Automatica
2024/4/1
ovla: Neural Network Ownership Verification using Latent Watermarks
arXiv preprint arXiv:2306.13215
2023/6/15
Wenchao Li
H-Index: 19
PAGAR: Imitation Learning with Protagonist Antagonist Guided Adversarial Reward
arXiv preprint arXiv:2306.01731
2023/6/2
Weichao Zhou
H-Index: 2
Wenchao Li
H-Index: 19
Safety-Assured Design and Adaptation of Connected and Autonomous Vehicles
2023/3/27
Hola robots: Mitigating plan-deviation attacks in multi-robot systems with co-observations and horizon-limiting announcements
arXiv preprint arXiv:2301.10704
2023/1/25
Byzantine resilience at swarm scale: A decentralized blocklist protocol from inter-robot accusations
arXiv preprint arXiv:2301.06977
2023/1/17
Evaluations of cyber attacks on cooperative control of connected and autonomous vehicles at bottleneck points
Symposium on Vehicles Security and Privacy (VehicleSec) 2023
2023/1
Sound and Complete Neural Network Repair with Minimality and Locality Guarantees
2022
Wenchao Li
H-Index: 19
Polar: A polynomial arithmetic framework for verifying neural-network controlled systems
2022
A tool for neural network global robustness certification and training
arXiv preprint arXiv:2208.07289
2022/8/15