Wenchao Li - RankMe

103 papers A* 17A 13B 7C 4Journal 42Unranked 19

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	VLM-UQBench: A Benchmark for Modality-Specific and Cross-Modality Uncertainties in Vision Language Models. CoRR Chenyu Wang, Tianle Chen, H. M. Sabbir Ahmad, Kayhan Batmanghelich, Wenchao Li
2025	A*	`conf`	Constraint-Conditioned Actor-Critic for Offline Safe Reinforcement Learning. ICLR Zijian Guo, Weichao Zhou, Shengao Wang, Wenchao Li
2025	J	`jnl`	Hierarchical Multi-Agent Reinforcement Learning with Control Barrier Functions for Safety-Critical Autonomous Systems. CoRR H. M. Sabbir Ahmad, Ehsan Sabouni, Alexander Wasilkoff, Param Budhraja, Zijian Guo, Songyuan Zhang, Chuchu Fan, Christos G. Cassandras, Wenchao Li
2025	J	`jnl`	One Subgoal at a Time: Zero-Shot Generalization to Arbitrary Linear Temporal Logic Requirements in Multi-Task Reinforcement Learning. CoRR Zijian Guo, Ilker Isik, H. M. Sabbir Ahmad, Wenchao Li
2025	J	`jnl`	Rethinking Robustness: A New Approach to Evaluating Feature Attribution Methods. CoRR Panagiota Kiourti, Anu Singh, Preeti Duraipandian, Weichao Zhou, Wenchao Li
2025	J	`jnl`	Robust and Safe Multi-Agent Reinforcement Learning Framework with Communication for Autonomous Vehicles. CoRR Keshawn Smith, Zhili Zhang, H. M. Sabbir Ahmad, Ehsan Sabouni, Maniak Mondal, Song Han, Wenchao Li, Fei Miao
2025	A*	`conf`	Safety Guaranteed Robust Multi-Agent Reinforcement Learning with Hierarchical Control for Connected and Automated Vehicles. ICRA Zhili Zhang, H. M. Sabbir Ahmad, Ehsan Sabouni, Yanchao Sun, Furong Huang, Wenchao Li, Fei Miao
2025	—	`conf`	Semantic Consistency-Based Uncertainty Quantification for Factuality in Radiology Report Generation. NAACL (Findings) Chenyu Wang, Weichao Zhou, Shantanu Ghosh, Kayhan Batmanghelich, Wenchao Li
2024	—	`conf`	HyQE: Ranking Contexts with Hypothetical Query Embeddings. EMNLP (Findings) Weichao Zhou, Jiaxin Zhang, Hilaf Hasson, Anu Singh, Wenchao Li
2024	J	`jnl`	HyQE: Ranking Contexts with Hypothetical Query Embeddings. CoRR Weichao Zhou, Jiaxin Zhang, Hilaf Hasson, Anu Singh, Wenchao Li
2024	J	`jnl`	POLAR-Express: Efficient and Precise Formal Reachability Analysis of Neural-Network Controlled Systems. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Yixuan Wang, Weichao Zhou, Jiameng Fan, Zhilu Wang, Jiajun Li, Xin Chen, Chao Huang, Wenchao Li, Qi Zhu
2024	A*	`conf`	REGLO: Provable Neural Network Repair for Global Robustness Properties. AAAI Feisi Fu, Zhilu Wang, Weichao Zhou, Yixuan Wang, Jiameng Fan, Chao Huang, Qi Zhu, Xin Chen, Wenchao Li
2024	—	`conf`	Reinforcement Learning-based Receding Horizon Control using Adaptive Control Barrier Functions for Safety-Critical Systems. CDC Ehsan Sabouni, H. M. Sabbir Ahmad, Vittorio Giammarino, Christos G. Cassandras, Ioannis Ch. Paschalidis, Wenchao Li
2024	J	`jnl`	Reinforcement Learning-based Receding Horizon Control using Adaptive Control Barrier Functions for Safety-Critical Systems. CoRR Ehsan Sabouni, H. M. Sabbir Ahmad, Vittorio Giammarino, Christos G. Cassandras, Ioannis Ch. Paschalidis, Wenchao Li
2024	A*	`conf`	Rethinking Inverse Reinforcement Learning: from Data Alignment to Task Alignment. NeurIPS Weichao Zhou, Wenchao Li
2024	J	`jnl`	Rethinking Inverse Reinforcement Learning: from Data Alignment to Task Alignment. CoRR Weichao Zhou, Wenchao Li
2024	J	`jnl`	Secure Control of Connected and Automated Vehicles Using Trust-Aware Robust Event-Triggered Control Barrier Functions. CoRR H. M. Sabbir Ahmad, Ehsan Sabouni, Akua Dickson, Wei Xiao, Christos G. Cassandras, Wenchao Li
2024	J	`jnl`	Semantic Consistency-Based Uncertainty Quantification for Factuality in Radiology Report Generation. CoRR Chenyu Wang, Weichao Zhou, Shantanu Ghosh, Kayhan Batmanghelich, Wenchao Li
2024	A*	`conf`	Temporal Logic Specification-Conditioned Decision Transformer for Offline Safe Reinforcement Learning. ICML Zijian Guo, Weichao Zhou, Wenchao Li
2024	J	`jnl`	Temporal Logic Specification-Conditioned Decision Transformer for Offline Safe Reinforcement Learning. CoRR Zijian Guo, Weichao Zhou, Wenchao Li
2023	A	`conf`	Byzantine Resilience at Swarm Scale: A Decentralized Blocklist Protocol from Inter-robot Accusations. AAMAS Kacper Wardega, Max von Hippel, Roberto Tron, Cristina Nita-Rotaru, Wenchao Li
2023	J	`jnl`	Byzantine Resilience at Swarm Scale: A Decentralized Blocklist Protocol from Inter-robot Accusations. CoRR Kacper Wardega, Max von Hippel, Roberto Tron, Cristina Nita-Rotaru, Wenchao Li
2023	C	`conf`	Dormant Neural Trojans. ICMLA Feisi Fu, Panagiota Kiourti, Wenchao Li
2023	—	`conf`	Evaluations of Cyber Attacks on Cooperative Control of Connected and Autonomous Vehicles at Bottleneck Points. VehicleSec H. M. Sabbir Ahmad, Ehsan Sabouni, Wei Xiao, Christos G. Cassandras, Wenchao Li
2023	A	`conf`	HoLA Robots: Mitigating Plan-Deviation Attacks in Multi-Robot Systems with Co-Observations and Horizon-Limiting Announcements. AAMAS Kacper Wardega, Max von Hippel, Roberto Tron, Cristina Nita-Rotaru, Wenchao Li
2023	J	`jnl`	HoLA Robots: Mitigating Plan-Deviation Attacks in Multi-Robot Systems with Co-Observations and Horizon-Limiting Announcements. CoRR Kacper Wardega, Max von Hippel, Roberto Tron, Cristina Nita-Rotaru, Wenchao Li
2023	—	`conf`	Merging Control in Mixed Traffic with Safety Guarantees: A Safe Sequencing Policy with Optimal Motion Control. ITSC Ehsan Sabouni, H. M. Sabbir Ahmad, Christos G. Cassandras, Wenchao Li
2023	J	`jnl`	Merging control in mixed traffic with safety guarantees: a safe sequencing policy with optimal motion control. CoRR Ehsan Sabouni, H. M. Sabbir Ahmad, Christos G. Cassandras, Wenchao Li
2023	J	`jnl`	OVLA: Neural Network Ownership Verification using Latent Watermarks. CoRR Feisi Fu, Wenchao Li
2023	—	`conf`	Optimal Control of Connected Automated Vehicles with Event-Triggered Control Barrier Functions: a Test Bed for Safe Optimal Merging. CCTA Ehsan Sabouni, H. M. Sabbir Ahmad, Wei Xiao, Christos G. Cassandras, Wenchao Li
2023	J	`jnl`	Optimal Control of Connected Automated Vehicles with Event-Triggered Control Barrier Functions: a Test Bed for Safe Optimal Merging. CoRR Ehsan Sabouni, H. M. Sabbir Ahmad, Wei Xiao, Christos G. Cassandras, Wenchao Li
2023	J	`jnl`	PAGAR: Imitation Learning with Protagonist Antagonist Guided Adversarial Reward. CoRR Weichao Zhou, Wenchao Li
2023	J	`jnl`	POLAR-Express: Efficient and Precise Formal Reachability Analysis of Neural-Network Controlled Systems. CoRR Yixuan Wang, Weichao Zhou, Jiameng Fan, Zhilu Wang, Jiajun Li, Xin Chen, Chao Huang, Wenchao Li, Qi Zhu
2023	—	`conf`	Trust-Aware Resilient Control and Coordination of Connected and Automated Vehicles. ITSC H. M. Sabbir Ahmad, Ehsan Sabouni, Wei Xiao, Christos G. Cassandras, Wenchao Li
2023	J	`jnl`	Trust-Aware Resilient Control and Coordination of Connected and Automated Vehicles. CoRR H. M. Sabbir Ahmad, Ehsan Sabouni, Wei Xiao, Christos G. Cassandras, Wenchao Li
2023	—	`conf`	Verification and Design of Robust and Safe Neural Network-enabled Autonomous Systems. Allerton Qi Zhu, Wenchao Li, Chao Huang, Xin Chen, Weichao Zhou, Yixuan Wang, Jiajun Li, Feisi Fu
2022	A*	`conf`	A Hierarchical Bayesian Approach to Inverse Reinforcement Learning with Symbolic Reward Machines. ICML Weichao Zhou, Wenchao Li
2022	J	`jnl`	A Hierarchical Bayesian Approach to Inverse Reinforcement Learning with Symbolic Reward Machines. CoRR Weichao Zhou, Wenchao Li
2022	J	`jnl`	A Tool for Neural Network Global Robustness Certification and Training. CoRR Zhilu Wang, Yixuan Wang, Feisi Fu, Ruochen Jiao, Chao Huang, Wenchao Li, Qi Zhu
2022	—	`conf`	ARCH-COMP22 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants. ARCH@SAFECOMP Diego Manzanas Lopez, Matthias Althoff, Luis Benet, Xin Chen, Jiameng Fan, Marcelo Forets, Chao Huang, Taylor T. Johnson, Tobias Ladner, Wenchao Li, Christian Schilling, Qi Zhu
2022	A*	`conf`	DRIBO: Robust Deep Reinforcement Learning via Multi-View Information Bottleneck. ICML Jiameng Fan, Wenchao Li
2022	J	`jnl`	Dormant Neural Trojans. CoRR Feisi Fu, Panagiota Kiourti, Wenchao Li
2022	A	`conf`	Opportunistic Communication with Latency Guarantees for Intermittently-Powered Devices. DATE Kacper Wardega, Wenchao Li, Hyoseung Kim, Yawen Wu, Zhenge Jia, Jingtong Hu
2022	B	`conf`	POLAR: A Polynomial Arithmetic Framework for Verifying Neural-Network Controlled Systems. ATVA Chao Huang, Jiameng Fan, Xin Chen, Wenchao Li, Qi Zhu
2022	A*	`conf`	Programmatic Reward Design by Example. AAAI Weichao Zhou, Wenchao Li
2022	A*	`conf`	Sound and Complete Neural Network Repair with Minimality and Locality Guarantees. ICLR Feisi Fu, Wenchao Li
2021	A*	`conf`	Adversarial Training and Provable Robustness: A Tale of Two Objectives. AAAI Jiameng Fan, Wenchao Li
2021	J	`jnl`	Cross-Layer Adaptation with Safety-Assured Proactive Task Job Skipping. ACM Trans. Embed. Comput. Syst. Zhilu Wang, Chao Huang, Hyoseung Kim, Wenchao Li, Qi Zhu
2021	A	`conf`	MISA: Online Defense of Trojaned Models using Misattributions. ACSAC Panagiota Kiourti, Wenchao Li, Anirban Roy, Karan Sikka, Susmit Jha
2021	J	`jnl`	Online Defense of Trojaned Models using Misattributions. CoRR Panagiota Kiourti, Wenchao Li, Anirban Roy, Karan Sikka, Susmit Jha
2021	J	`jnl`	POLAR: A Polynomial Arithmetic Framework for Verifying Neural-Network Controlled Systems. CoRR Chao Huang, Jiameng Fan, Xin Chen, Wenchao Li, Qi Zhu
2021	J	`jnl`	Programmatic Reward Design by Example. CoRR Weichao Zhou, Wenchao Li
2021	J	`jnl`	Robust Deep Reinforcement Learning via Multi-View Information Bottleneck. CoRR Jiameng Fan, Wenchao Li
2021	J	`jnl`	Sound and Complete Neural Network Repair with Minimality and Locality Guarantees. CoRR Feisi Fu, Wenchao Li
2020	J	`jnl`	Adversarial Training and Provable Robustness: A Tale of Two Objectives. CoRR Jiameng Fan, Wenchao Li
2020	A	`conf`	Application-Aware Scheduling of Networked Applications over the Low-Power Wireless Bus. DATE Kacper Wardega, Wenchao Li
2020	J	`jnl`	Divide and Slide: Layer-Wise Refinement for Output Range Analysis of Deep Neural Networks. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Chao Huang, Jiameng Fan, Xin Chen, Wenchao Li, Qi Zhu
2020	A	`conf`	Know the Unknowns: Addressing Disturbances and Uncertainties in Autonomous Systems : Invited Paper. ICCAD Qi Zhu, Wenchao Li, Hyoseung Kim, Yecheng Xiang, Kacper Wardega, Zhilu Wang, Yixuan Wang, Hengyi Liang, Chao Huang, Jiameng Fan, Hyunjong Choi
2020	A*	`conf`	Opportunistic Intermittent Control with Safety Guarantees for Autonomous Systems. DAC Chao Huang, Shichao Xu, Zhilu Wang, Shuyue Lan, Wenchao Li, Qi Zhu
2020	J	`jnl`	Opportunistic Intermittent Control with Safety Guarantees for Autonomous Systems. CoRR Chao Huang, Shichao Xu, Zhilu Wang, Shuyue Lan, Wenchao Li, Qi Zhu
2020	B	`conf`	ReachNN*: A Tool for Reachability Analysis of Neural-Network Controlled Systems. ATVA Jiameng Fan, Chao Huang, Xin Chen, Wenchao Li, Qi Zhu
2020	B	`conf`	Runtime-Safety-Guided Policy Repair. RV Weichao Zhou, Ruihan Gao, BaekGyu Kim, Eunsuk Kang, Wenchao Li
2020	J	`jnl`	Runtime-Safety-Guided Policy Repair. CoRR Weichao Zhou, Ruihan Gao, BaekGyu Kim, Eunsuk Kang, Wenchao Li
2020	A*	`conf`	TrojDRL: Evaluation of Backdoor Attacks on Deep Reinforcement Learning. DAC Panagiota Kiourti, Kacper Wardega, Susmit Jha, Wenchao Li
2019	—	`conf`	Exploring weakly-hard paradigm for networked systems. DESTION@CPSIoTWeek Chao Huang, Kacper Wardega, Wenchao Li, Qi Zhu
2019	—	`conf`	Formal verification of weakly-hard systems. HSCC Chao Huang, Wenchao Li, Qi Zhu
2019	A	`conf`	Masquerade Attack Detection Through Observation Planning for Multi-Robot Systems. AAMAS Kacper Wardega, Roberto Tron, Wenchao Li
2019	J	`jnl`	ReachNN: Reachability Analysis of Neural-Network Controlled Systems. CoRR Chao Huang, Jiameng Fan, Wenchao Li, Xin Chen, Qi Zhu
2019	J	`jnl`	ReachNN: Reachability Analysis of Neural-Network Controlled Systems. ACM Trans. Embed. Comput. Syst. Chao Huang, Jiameng Fan, Wenchao Li, Xin Chen, Qi Zhu
2019	—	`conf`	Resilience of Multi-robot Systems to Physical Masquerade Attacks. IEEE Symposium on Security and Privacy Workshops Kacper Wardega, Roberto Tron, Wenchao Li
2019	J	`jnl`	Safety-Guided Deep Reinforcement Learning via Online Gaussian Process Estimation. CoRR Jiameng Fan, Wenchao Li
2019	A	`conf`	Towards Verification-Aware Knowledge Distillation for Neural-Network Controlled Systems: Invited Paper. ICCAD Jiameng Fan, Chao Huang, Wenchao Li, Xin Chen, Qi Zhu
2019	J	`jnl`	TrojDRL: Trojan Attacks on Deep Reinforcement Learning Agents. CoRR Panagiota Kiourti, Kacper Wardega, Susmit Jha, Wenchao Li
2018	J	`jnl`	Guest Editorial: Special Issue on (Industrial) Internet-of-Things for Smart and Sensing Systems: Issues, Trends, and Applications. IEEE Internet Things J. Hervé Panetto, Paulo Cézar Stadzisz, Wenchao Li, Qing-Shan (Samuel) Jia
2018	—	`conf`	Safety-Aware Apprenticeship Learning. CAV (1) Weichao Zhou, Wenchao Li
2017	B	`conf`	Delay-Aware Design, Analysis and Verification of Intelligent Intersection Management. SMARTCOMP Bowen Zheng, Chung-Wei Lin, Hengyi Liang, Shinichi Shiraishi, Wenchao Li, Qi Zhu
2017	J	`jnl`	Design Automation of Cyber-Physical Systems: Challenges, Advances, and Opportunities. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Sanjit A. Seshia, Shiyan Hu, Wenchao Li, Qi Zhu
2017	A*	`conf`	Extensibility-Driven Automotive In-Vehicle Architecture Design: Invited. DAC Qi Zhu, Hengyi Liang, Licong Zhang, Debayan Roy, Wenchao Li, Samarjit Chakraborty
2017	J	`jnl`	Safety-Aware Apprenticeship Learning. CoRR Weichao Zhou, Wenchao Li
2016	—	`conf`	ARSENAL: Automatic Requirements Specification Extraction from Natural Language. NFM Shalini Ghosh, Daniel Elenius, Wenchao Li, Patrick Lincoln, Natarajan Shankar, Wilfried Steiner
2016	A	`conf`	Analysis of production data manipulation attacks in petroleum cyber-physical systems. ICCAD Xiaodao Chen, Yuchen Zhou, Hong Zhou, Chaowei Wan, Qi Zhu, Wenchao Li, Shiyan Hu
2016	—	`conf`	Contract-Based Verification of Complex Time-Dependent Behaviors in Avionic Systems. NFM Devesh Bhatt, Arunabh Chattopadhyay, Wenchao Li, David Oglesby, Sam Owre, Natarajan Shankar
2016	B	`conf`	Detecting Similar Programs via The Weisfeiler-Leman Graph Kernel. ICSR Wenchao Li, Hossein Saidi, Huascar Sanchez, Martin Schäf, Pascal Schweitzer
2015	A*	`conf`	Design and verification for transportation system security. DAC Bowen Zheng, Wenchao Li, Peng Deng, Léonard Gérard, Qi Zhu, Natarajan Shankar
2015	C	`conf`	Design and verification of multi-rate distributed systems. MEMOCODE Wenchao Li, Léonard Gérard, Natarajan Shankar
2014	J	`jnl`	Automatically Extracting Requirements Specifications from Natural Language. CoRR Shalini Ghosh, Daniel Elenius, Wenchao Li, Patrick Lincoln, Natarajan Shankar, Wilfried Steiner
2014	—	`conf`	Data-Driven Probabilistic Modeling and Verification of Human Driver Behavior. AAAI Spring Symposia Dorsa Sadigh, Katherine Rose Driggs-Campbell, Alberto Puggelli, Wenchao Li, Victor Shia, Ruzena Bajcsy, Alberto L. Sangiovanni-Vincentelli, S. Shankar Sastry, Sanjit A. Seshia
2014	J	`jnl`	Reverse Engineering Digital Circuits Using Structural and Functional Analyses. IEEE Trans. Emerg. Top. Comput. Pramod Subramanyan, Nestan Tsiskaridze, Wenchao Li, Adrià Gascón, Wei Yang Tan, Ashish Tiwari, Natarajan Shankar, Sanjit A. Seshia, Sharad Malik
2014	A	`conf`	Synthesis for Human-in-the-Loop Control Systems. TACAS Wenchao Li, Dorsa Sadigh, S. Shankar Sastry, Sanjit A. Seshia
2013	A*	`conf`	Polynomial-Time Verification of PCTL Properties of MDPs with Convex Uncertainties. CAV Alberto Puggelli, Wenchao Li, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia
2013	—	`—`	Specification Mining: New Formalisms, Algorithms and Applications. Wenchao Li
2013	—	`conf`	WordRev: Finding word-level structures in a sea of bit-level gates. HOST Wenchao Li, Adrià Gascón, Pramod Subramanyan, Wei Yang Tan, Ashish Tiwari, Sharad Malik, Natarajan Shankar, Sanjit A. Seshia
2012	A*	`conf`	CrowdMine: towards crowdsourced human-assisted verification. DAC Wenchao Li, Sanjit A. Seshia, Somesh Jha
2012	—	`conf`	Reverse engineering circuits using behavioral pattern mining. HOST Wenchao Li, Zach Wasson, Sanjit A. Seshia
2012	B	`conf`	Sparse Coding for Specification Mining and Error Localization. RV Wenchao Li, Sanjit A. Seshia
2011	C	`conf`	Mining assumptions for synthesis. MEMOCODE Wenchao Li, Lili Dworkin, Sanjit A. Seshia
2010	A*	`conf`	Scalable specification mining for verification and diagnosis. DAC Wenchao Li, Alessandro Forin, Sanjit A. Seshia
2009	A	`conf`	Design as you see FIT: System-level soft error analysis of sequential circuits. DATE Daniel E. Holcomb, Wenchao Li, Sanjit A. Seshia
2009	—	`conf`	Localizing transient faults using dynamic bayesian networks. HLDVT Susmit Jha, Wenchao Li, Sanjit A. Seshia
2009	A	`conf`	Optimizations of an application-level protocol for enhanced dependability in FlexRay. DATE Wenchao Li, Marco Di Natale, Wei Zheng, Paolo Giusto, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia
2008	B	`conf`	A Theory of Mutations with Applications to Vacuity, Coverage, and Fault Tolerance. FMCAD Orna Kupferman, Wenchao Li, Sanjit A. Seshia
2007	C	`conf`	Physical Activity Monitoring for Assisted Living at Home. BSN Roozbeh Jafari, Wenchao Li, Ruzena Bajcsy, Steven D. Glaser, Shankar Sastry
2007	A	`conf`	Verification-guided soft error resilience. DATE Sanjit A. Seshia, Wenchao Li, Subhasish Mitra