Wenchao Li

Publication Activity (10 Years)

Years Active: 2022-2024
Publications (10 Years): 24

Top Topics

Reinforcement Learning

Top Venues

Publications

Feisi Fu, Zhilu Wang, Weichao Zhou, Yixuan Wang, Jiameng Fan, Chao Huang, Qi Zhu, Xin Chen, Wenchao Li
REGLO: Provable Neural Network Repair for Global Robustness Properties. AAAI (2024)
Ehsan Sabouni, H. M. Sabbir Ahmad, Vittorio Giammarino, Christos G. Cassandras, Ioannis Ch. Paschalidis, Wenchao Li
Reinforcement Learning-based Receding Horizon Control using Adaptive Control Barrier Functions for Safety-Critical Systems. CoRR (2024)
H. M. Sabbir Ahmad, Ehsan Sabouni, Akua Dickson, Wei Xiao, Christos G. Cassandras, Wenchao Li
Secure Control of Connected and Automated Vehicles Using Trust-Aware Robust Event-Triggered Control Barrier Functions. CoRR (2024)
Zijian Guo, Weichao Zhou, Wenchao Li
Temporal Logic Specification-Conditioned Decision Transformer for Offline Safe Reinforcement Learning. CoRR (2024)
Yixuan Wang, Weichao Zhou, Jiameng Fan, Zhilu Wang, Jiajun Li, Xin Chen, Chao Huang, Wenchao Li, Qi Zhu
POLAR-Express: Efficient and Precise Formal Reachability Analysis of Neural-Network Controlled Systems. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 43 (3) (2024)
H. M. Sabbir Ahmad, Ehsan Sabouni, Wei Xiao, Christos G. Cassandras, Wenchao Li
Trust-Aware Resilient Control and Coordination of Connected and Automated Vehicles. ITSC (2023)
Kacper Wardega, Max von Hippel, Roberto Tron, Cristina Nita-Rotaru, Wenchao Li
Byzantine Resilience at Swarm Scale: A Decentralized Blocklist Protocol from Inter-robot Accusations. CoRR (2023)
Kacper Wardega, Max von Hippel, Roberto Tron, Cristina Nita-Rotaru, Wenchao Li
HoLA Robots: Mitigating Plan-Deviation Attacks in Multi-Robot Systems with Co-Observations and Horizon-Limiting Announcements. CoRR (2023)
Kacper Wardega, Max von Hippel, Roberto Tron, Cristina Nita-Rotaru, Wenchao Li
HoLA Robots: Mitigating Plan-Deviation Attacks in Multi-Robot Systems with Co-Observations and Horizon-Limiting Announcements. AAMAS (2023)
Feisi Fu, Panagiota Kiourti, Wenchao Li
Dormant Neural Trojans. ICMLA (2023)
Qi Zhu, Wenchao Li, Chao Huang, Xin Chen, Weichao Zhou, Yixuan Wang, Jiajun Li, Feisi Fu
Verification and Design of Robust and Safe Neural Network-enabled Autonomous Systems. Allerton (2023)
Kacper Wardega, Max von Hippel, Roberto Tron, Cristina Nita-Rotaru, Wenchao Li
Byzantine Resilience at Swarm Scale: A Decentralized Blocklist Protocol from Inter-robot Accusations. AAMAS (2023)
Feisi Fu, Wenchao Li
OVLA: Neural Network Ownership Verification using Latent Watermarks. CoRR (2023)
Ehsan Sabouni, H. M. Sabbir Ahmad, Christos G. Cassandras, Wenchao Li
Merging Control in Mixed Traffic with Safety Guarantees: A Safe Sequencing Policy with Optimal Motion Control. ITSC (2023)
Weichao Zhou, Wenchao Li
PAGAR: Imitation Learning with Protagonist Antagonist Guided Adversarial Reward. CoRR (2023)
Kacper Wardega, Wenchao Li, Hyoseung Kim, Yawen Wu, Zhenge Jia, Jingtong Hu
Opportunistic Communication with Latency Guarantees for Intermittently-Powered Devices. DATE (2022)
Feisi Fu, Wenchao Li
Sound and Complete Neural Network Repair with Minimality and Locality Guarantees. ICLR (2022)
Chao Huang, Jiameng Fan, Xin Chen, Wenchao Li, Qi Zhu
POLAR: A Polynomial Arithmetic Framework for Verifying Neural-Network Controlled Systems. ATVA (2022)
Weichao Zhou, Wenchao Li
Programmatic Reward Design by Example. AAAI (2022)
Zhilu Wang, Yixuan Wang, Feisi Fu, Ruochen Jiao, Chao Huang, Wenchao Li, Qi Zhu
A Tool for Neural Network Global Robustness Certification and Training. CoRR (2022)
Weichao Zhou, Wenchao Li
A Hierarchical Bayesian Approach to Inverse Reinforcement Learning with Symbolic Reward Machines. ICML (2022)
Weichao Zhou, Wenchao Li
A Hierarchical Bayesian Approach to Inverse Reinforcement Learning with Symbolic Reward Machines. CoRR (2022)
Feisi Fu, Panagiota Kiourti, Wenchao Li
Dormant Neural Trojans. CoRR (2022)
Jiameng Fan, Wenchao Li
DRIBO: Robust Deep Reinforcement Learning via Multi-View Information Bottleneck. ICML (2022)