default search action
Wenchao Li 0001
Person information
- affiliation: Boston University, Department of Electrical and Computer Engineering, MA, USA
- affiliation (former): SRI International, Menlo Park, CA, USA
- affiliation (former, PhD 2013): University of California at Berkeley, CA, USA
Other persons with the same name
- Wenchao Li (aka: Wen-Chao Li) — disambiguation page
- Wenchao Li 0002
— University of Electronic Science and Technology of China, School of Information and Communication Engineering, Chengdu, China
- Wenchao Li 0003
- Wenchao Li 0004 — Hangzhou Dianzi University, School of Automation, China
- Wenchao Li 0005
- Wenchao Li 0006
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
- [j7]Yixuan Wang
POLAR-Express: Efficient and Precise Formal Reachability Analysis of Neural-Network Controlled Systems. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 43(3): 994-1007 (2024) - [c54]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: 12061-12071 - [c53]Weichao Zhou, Jiaxin Zhang, Hilaf Hasson, Anu Singh, Wenchao Li:
HyQE: Ranking Contexts with Hypothetical Query Embeddings. EMNLP (Findings) 2024: 13014-13032 - [c52]Zijian Guo, Weichao Zhou, Wenchao Li:
Temporal Logic Specification-Conditioned Decision Transformer for Offline Safe Reinforcement Learning. ICML 2024 - [i27]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 abs/2401.02306 (2024) - [i26]Zijian Guo, Weichao Zhou, Wenchao Li:
Temporal Logic Specification-Conditioned Decision Transformer for Offline Safe Reinforcement Learning. CoRR abs/2402.17217 (2024) - [i25]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 abs/2403.17338 (2024) - 2023
- [c51]Qi Zhu, Wenchao Li, Chao Huang, Xin Chen, Weichao Zhou, Yixuan Wang
Verification and Design of Robust and Safe Neural Network-enabled Autonomous Systems. Allerton 2023: 1-8 - [c50]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: 1430-1438 - [c49]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: 2553-2555 - [c48]Ehsan Sabouni, H. M. Sabbir Ahmad, Wei Xiao, Christos G. Cassandras, Wenchao Li:
Optimal Control of Connected Automated Vehicles with Event-Triggered Control Barrier Functions: a Test Bed for Safe Optimal Merging. CCTA 2023: 321-326 - [c47]Feisi Fu, Panagiota Kiourti, Wenchao Li:
Dormant Neural Trojans. ICMLA 2023: 1784-1791 - [c46]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: 4260-4265 - [c45]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: 4309-4314 - [i24]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 abs/2301.06977 (2023) - [i23]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 abs/2301.10704 (2023) - [i22]Yixuan Wang
POLAR-Express: Efficient and Precise Formal Reachability Analysis of Neural-Network Controlled Systems. CoRR abs/2304.01218 (2023) - [i21]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. CoRR abs/2305.16725 (2023) - [i20]H. M. Sabbir Ahmad, Ehsan Sabouni, Wei Xiao, Christos G. Cassandras, Wenchao Li:
Trust-Aware Resilient Control and Coordination of Connected and Automated Vehicles. CoRR abs/2305.16818 (2023) - [i19]Weichao Zhou, Wenchao Li:
PAGAR: Imitation Learning with Protagonist Antagonist Guided Adversarial Reward. CoRR abs/2306.01731 (2023) - [i18]Ehsan Sabouni, H. M. Sabbir Ahmad, Wei Xiao, Christos G. Cassandras, Wenchao Li:
Optimal Control of Connected Automated Vehicles with Event-Triggered Control Barrier Functions: a Test Bed for Safe Optimal Merging. CoRR abs/2306.01871 (2023) - [i17]Feisi Fu, Wenchao Li:
OVLA: Neural Network Ownership Verification using Latent Watermarks. CoRR abs/2306.13215 (2023) - 2022
- [c44]Weichao Zhou, Wenchao Li:
Programmatic Reward Design by Example. AAAI 2022: 9233-9241 - [c43]Diego Manzanas Lopez, Matthias Althoff, Luis Benet
ARCH-COMP22 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants. ARCH@SAFECOMP 2022: 142-184 - [c42]Chao Huang, Jiameng Fan, Xin Chen, Wenchao Li, Qi Zhu:
POLAR: A Polynomial Arithmetic Framework for Verifying Neural-Network Controlled Systems. ATVA 2022: 414-430 - [c41]Kacper Wardega, Wenchao Li, Hyoseung Kim
Opportunistic Communication with Latency Guarantees for Intermittently-Powered Devices. DATE 2022: 1093-1098 - [c40]Feisi Fu, Wenchao Li:
Sound and Complete Neural Network Repair with Minimality and Locality Guarantees. ICLR 2022 - [c39]Jiameng Fan, Wenchao Li:
DRIBO: Robust Deep Reinforcement Learning via Multi-View Information Bottleneck. ICML 2022: 6074-6102 - [c38]Weichao Zhou, Wenchao Li:
A Hierarchical Bayesian Approach to Inverse Reinforcement Learning with Symbolic Reward Machines. ICML 2022: 27159-27178 - [i16]Weichao Zhou, Wenchao Li:
A Hierarchical Bayesian Approach to Inverse Reinforcement Learning with Symbolic Reward Machines. CoRR abs/2204.09772 (2022) - [i15]Zhilu Wang, Yixuan Wang
A Tool for Neural Network Global Robustness Certification and Training. CoRR abs/2208.07289 (2022) - [i14]Feisi Fu, Panagiota Kiourti, Wenchao Li:
Dormant Neural Trojans. CoRR abs/2211.01808 (2022) - 2021
- [j6]Zhilu Wang
Cross-Layer Adaptation with Safety-Assured Proactive Task Job Skipping. ACM Trans. Embed. Comput. Syst. 20(5s): 100:1-100:25 (2021) - [c37]Jiameng Fan, Wenchao Li:
Adversarial Training and Provable Robustness: A Tale of Two Objectives. AAAI 2021: 7367-7376 - [c36]Panagiota Kiourti, Wenchao Li, Anirban Roy, Karan Sikka, Susmit Jha:
MISA: Online Defense of Trojaned Models using Misattributions. ACSAC 2021: 570-585 - [i13]Jiameng Fan, Wenchao Li:
Robust Deep Reinforcement Learning via Multi-View Information Bottleneck. CoRR abs/2102.13268 (2021) - [i12]Panagiota Kiourti, Wenchao Li, Anirban Roy, Karan Sikka, Susmit Jha:
Online Defense of Trojaned Models using Misattributions. CoRR abs/2103.15918 (2021) - [i11]Chao Huang, Jiameng Fan, Xin Chen, Wenchao Li, Qi Zhu:
POLAR: A Polynomial Arithmetic Framework for Verifying Neural-Network Controlled Systems. CoRR abs/2106.13867 (2021) - [i10]Feisi Fu, Wenchao Li:
Sound and Complete Neural Network Repair with Minimality and Locality Guarantees. CoRR abs/2110.07682 (2021) - [i9]Weichao Zhou, Wenchao Li:
Programmatic Reward Design by Example. CoRR abs/2112.08438 (2021) - 2020
- [j5]Chao Huang
Divide and Slide: Layer-Wise Refinement for Output Range Analysis of Deep Neural Networks. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 39(11): 3323-3335 (2020) - [c35]Jiameng Fan, Chao Huang, Xin Chen, Wenchao Li, Qi Zhu:
ReachNN*: A Tool for Reachability Analysis of Neural-Network Controlled Systems. ATVA 2020: 537-542 - [c34]Chao Huang, Shichao Xu, Zhilu Wang, Shuyue Lan, Wenchao Li, Qi Zhu:
Opportunistic Intermittent Control with Safety Guarantees for Autonomous Systems. DAC 2020: 1-6 - [c33]Panagiota Kiourti, Kacper Wardega, Susmit Jha, Wenchao Li:
TrojDRL: Evaluation of Backdoor Attacks on Deep Reinforcement Learning. DAC 2020: 1-6 - [c32]Kacper Wardega, Wenchao Li:
Application-Aware Scheduling of Networked Applications over the Low-Power Wireless Bus. DATE 2020: 222-227 - [c31]Qi Zhu, Wenchao Li, Hyoseung Kim
Know the Unknowns: Addressing Disturbances and Uncertainties in Autonomous Systems : Invited Paper. ICCAD 2020: 82:1-82:9 - [c30]Weichao Zhou, Ruihan Gao, BaekGyu Kim
Runtime-Safety-Guided Policy Repair. RV 2020: 131-150 - [i8]Chao Huang, Shichao Xu, Zhilu Wang, Shuyue Lan, Wenchao Li, Qi Zhu:
Opportunistic Intermittent Control with Safety Guarantees for Autonomous Systems. CoRR abs/2005.03726 (2020) - [i7]Jiameng Fan, Wenchao Li:
Adversarial Training and Provable Robustness: A Tale of Two Objectives. CoRR abs/2008.06081 (2020) - [i6]Weichao Zhou, Ruihan Gao, BaekGyu Kim, Eunsuk Kang, Wenchao Li:
Runtime-Safety-Guided Policy Repair. CoRR abs/2008.07667 (2020)
2010 – 2019
- 2019
- [j4]Chao Huang, Jiameng Fan, Wenchao Li, Xin Chen, Qi Zhu:
ReachNN: Reachability Analysis of Neural-Network Controlled Systems. ACM Trans. Embed. Comput. Syst. 18(5s): 106:1-106:22 (2019) - [c29]Kacper Wardega, Roberto Tron, Wenchao Li:
Masquerade Attack Detection Through Observation Planning for Multi-Robot Systems. AAMAS 2019: 2262-2264 - [c28]Chao Huang, Kacper Wardega, Wenchao Li, Qi Zhu:
Exploring weakly-hard paradigm for networked systems. DESTION@CPSIoTWeek 2019: 51-59 - [c27]Chao Huang, Wenchao Li, Qi Zhu:
Formal verification of weakly-hard systems. HSCC 2019: 197-207 - [c26]Jiameng Fan, Chao Huang, Wenchao Li, Xin Chen, Qi Zhu:
Towards Verification-Aware Knowledge Distillation for Neural-Network Controlled Systems: Invited Paper. ICCAD 2019: 1-8 - [c25]Kacper Wardega, Roberto Tron, Wenchao Li:
Resilience of Multi-robot Systems to Physical Masquerade Attacks. IEEE Symposium on Security and Privacy Workshops 2019: 120-125 - [i5]Jiameng Fan, Wenchao Li:
Safety-Guided Deep Reinforcement Learning via Online Gaussian Process Estimation. CoRR abs/1903.02526 (2019) - [i4]Panagiota Kiourti, Kacper Wardega, Susmit Jha, Wenchao Li:
TrojDRL: Trojan Attacks on Deep Reinforcement Learning Agents. CoRR abs/1903.06638 (2019) - [i3]Chao Huang, Jiameng Fan, Wenchao Li, Xin Chen, Qi Zhu:
ReachNN: Reachability Analysis of Neural-Network Controlled Systems. CoRR abs/1906.10654 (2019) - 2018
- [j3]Hervé Panetto
Guest Editorial: Special Issue on (Industrial) Internet-of-Things for Smart and Sensing Systems: Issues, Trends, and Applications. IEEE Internet Things J. 5(6): 4392-4395 (2018) - [c24]Weichao Zhou, Wenchao Li:
Safety-Aware Apprenticeship Learning. CAV (1) 2018: 662-680 - 2017
- [j2]Sanjit A. Seshia
Design Automation of Cyber-Physical Systems: Challenges, Advances, and Opportunities. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 36(9): 1421-1434 (2017) - [c23]Qi Zhu
Extensibility-Driven Automotive In-Vehicle Architecture Design: Invited. DAC 2017: 13:1-13:6 - [c22]Bowen Zheng, Chung-Wei Lin, Hengyi Liang, Shinichi Shiraishi, Wenchao Li, Qi Zhu
Delay-Aware Design, Analysis and Verification of Intelligent Intersection Management. SMARTCOMP 2017: 1-8 - [i2]Weichao Zhou, Wenchao Li:
Safety-Aware Apprenticeship Learning. CoRR abs/1710.07983 (2017) - 2016
- [c21]Xiaodao Chen, Yuchen Zhou, Hong Zhou, Chaowei Wan, Qi Zhu
Analysis of production data manipulation attacks in petroleum cyber-physical systems. ICCAD 2016: 108 - [c20]Wenchao Li, Hossein Saidi, Huascar Sanchez, Martin Schäf, Pascal Schweitzer
Detecting Similar Programs via The Weisfeiler-Leman Graph Kernel. ICSR 2016: 315-330 - [c19]Devesh Bhatt, Arunabh Chattopadhyay, Wenchao Li, David Oglesby, Sam Owre, Natarajan Shankar:
Contract-Based Verification of Complex Time-Dependent Behaviors in Avionic Systems. NFM 2016: 34-40 - [c18]Shalini Ghosh, Daniel Elenius, Wenchao Li, Patrick Lincoln, Natarajan Shankar, Wilfried Steiner:
ARSENAL: Automatic Requirements Specification Extraction from Natural Language. NFM 2016: 41-46 - 2015
- [c17]Bowen Zheng, Wenchao Li, Peng Deng, Léonard Gérard, Qi Zhu
Design and verification for transportation system security. DAC 2015: 96:1-96:6 - [c16]Wenchao Li, Léonard Gérard, Natarajan Shankar:
Design and verification of multi-rate distributed systems. MEMOCODE 2015: 20-29 - 2014
- [j1]Pramod Subramanyan, Nestan Tsiskaridze, Wenchao Li, Adrià Gascón, Wei Yang Tan, Ashish Tiwari, Natarajan Shankar, Sanjit A. Seshia, Sharad Malik
Reverse Engineering Digital Circuits Using Structural and Functional Analyses. IEEE Trans. Emerg. Top. Comput. 2(1): 63-80 (2014) - [c15]Dorsa Sadigh, Katherine Rose Driggs-Campbell, Alberto Puggelli, Wenchao Li, Victor Shia, Ruzena Bajcsy, Alberto L. Sangiovanni-Vincentelli, S. Shankar Sastry, Sanjit A. Seshia:
Data-Driven Probabilistic Modeling and Verification of Human Driver Behavior. AAAI Spring Symposia 2014 - [c14]Wenchao Li, Dorsa Sadigh, S. Shankar Sastry, Sanjit A. Seshia:
Synthesis for Human-in-the-Loop Control Systems. TACAS 2014: 470-484 - [i1]Shalini Ghosh, Daniel Elenius, Wenchao Li, Patrick Lincoln, Natarajan Shankar, Wilfried Steiner:
Automatically Extracting Requirements Specifications from Natural Language. CoRR abs/1403.3142 (2014) - 2013
- [b1]Wenchao Li:
Specification Mining: New Formalisms, Algorithms and Applications. University of California, Berkeley, USA, 2013 - [c13]Alberto Puggelli, Wenchao Li, Alberto L. Sangiovanni-Vincentelli
Polynomial-Time Verification of PCTL Properties of MDPs with Convex Uncertainties. CAV 2013: 527-542 - [c12]Wenchao Li, Adrià Gascón, Pramod Subramanyan, Wei Yang Tan, Ashish Tiwari, Sharad Malik
WordRev: Finding word-level structures in a sea of bit-level gates. HOST 2013: 67-74 - 2012
- [c11]Wenchao Li, Sanjit A. Seshia, Somesh Jha:
CrowdMine: towards crowdsourced human-assisted verification. DAC 2012: 1254-1255 - [c10]Wenchao Li, Zach Wasson, Sanjit A. Seshia:
Reverse engineering circuits using behavioral pattern mining. HOST 2012: 83-88 - [c9]Wenchao Li, Sanjit A. Seshia:
Sparse Coding for Specification Mining and Error Localization. RV 2012: 64-81 - 2011
- [c8]Wenchao Li, Lili Dworkin, Sanjit A. Seshia:
Mining assumptions for synthesis. MEMOCODE 2011: 43-50 - 2010
- [c7]Wenchao Li, Alessandro Forin, Sanjit A. Seshia:
Scalable specification mining for verification and diagnosis. DAC 2010: 755-760
2000 – 2009
- 2009
- [c6]Daniel E. Holcomb, Wenchao Li, Sanjit A. Seshia:
Design as you see FIT: System-level soft error analysis of sequential circuits. DATE 2009: 785-790 - [c5]Wenchao Li, Marco Di Natale, Wei Zheng, Paolo Giusto, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia:
Optimizations of an application-level protocol for enhanced dependability in FlexRay. DATE 2009: 1076-1081 - [c4]Susmit Jha
Localizing transient faults using dynamic bayesian networks. HLDVT 2009: 82-87 - 2008
- [c3]Orna Kupferman, Wenchao Li, Sanjit A. Seshia:
A Theory of Mutations with Applications to Vacuity, Coverage, and Fault Tolerance. FMCAD 2008: 1-9 - 2007
- [c2]Roozbeh Jafari, Wenchao Li, Ruzena Bajcsy, Steven D. Glaser, Shankar Sastry:
Physical Activity Monitoring for Assisted Living at Home. BSN 2007: 213-219 - [c1]Sanjit A. Seshia, Wenchao Li, Subhasish Mitra:
Verification-guided soft error resilience. DATE 2007: 1442-1447
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-12-12 21:03 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: