default search action

combined dblp search
author search
venue search
publication search

ask others

Wenchao Li 0001

> Home > Persons

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

see FAQ

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Books and Theses

see FAQ

What is the meaning of the colors in the publication lists?

2013
[b1]
- view
  authority control:
- export record
  dblp key:
  - phd/basesearch/Li13d
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/phd/basesearch/Li13d
Wenchao Li:
Specification Mining: New Formalisms, Algorithms and Applications. University of California, Berkeley, USA, 2013

Journal Articles

see FAQ

What is the meaning of the colors in the publication lists?

2024
[j7]
- view
  authority control:
- export record
  dblp key:
  - journals/tcad/WangZFWLCHLZ24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcad/WangZFWLCHLZ24
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): 994-1007 (2024)
2021
[j6]
- view
  authority control:
- export record
  dblp key:
  - journals/tecs/WangHKL021
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tecs/WangHKL021
Zhilu Wang, Chao Huang, Hyoseung Kim, Wenchao Li, Qi Zhu:
Cross-Layer Adaptation with Safety-Assured Proactive Task Job Skipping. ACM Trans. Embed. Comput. Syst. 20(5s): 100:1-100:25 (2021)
2020
[j5]
- view
  authority control:
- export record
  dblp key:
  - journals/tcad/HuangFCLZ20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcad/HuangFCLZ20
Chao Huang, Jiameng Fan, Xin Chen, Wenchao Li, Qi Zhu:
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)
2019
[j4]
- view
  authority control:
- export record
  dblp key:
  - journals/tecs/HuangFLC019
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tecs/HuangFLC019
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)
2018
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/iotj/PanettoSLJ18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iotj/PanettoSLJ18
Hervé Panetto, Paulo Cézar Stadzisz, Wenchao Li, Qing-Shan (Samuel) Jia:
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)
2017
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/tcad/SeshiaHLZ17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcad/SeshiaHLZ17
Sanjit A. Seshia, Shiyan Hu, Wenchao Li, Qi Zhu:
Design Automation of Cyber-Physical Systems: Challenges, Advances, and Opportunities. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 36(9): 1421-1434 (2017)
2014
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/tetc/SubramanyanTLGTTSSM14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tetc/SubramanyanTLGTTSSM14
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)

Conference and Workshop Papers

see FAQ

What is the meaning of the colors in the publication lists?

2025
[c60]
- view
  - electronic edition @ openreview.net (open access)
  - details & citations
- export record
  dblp key:
  - conf/iclr/GuoZW025
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iclr/GuoZW025
Zijian Guo, Weichao Zhou, Shengao Wang, Wenchao Li:
Constraint-Conditioned Actor-Critic for Offline Safe Reinforcement Learning. ICLR 2025
[c59]
- view
  authority control:
- export record
  dblp key:
  - conf/icra/ZhangASSHLM25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icra/ZhangASSHLM25
Zhili Zhang, H. M. Sabbir Ahmad, Ehsan Sabouni, Yanchao Sun, Furong Huang, Wenchao Li, Fei Miao:
Safety Guaranteed Robust Multi-Agent Reinforcement Learning with Hierarchical Control for Connected and Automated Vehicles. ICRA 2025: 8522-8528
[c58]
- view
  authority control:
- export record
  dblp key:
  - conf/naacl/WangZGBL25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/naacl/WangZGBL25
Chenyu Wang, Weichao Zhou, Shantanu Ghosh, Kayhan Batmanghelich, Wenchao Li:
Semantic Consistency-Based Uncertainty Quantification for Factuality in Radiology Report Generation. NAACL (Findings) 2025: 1739-1754
2024
[c57]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/aaai/FuWZWFH0C024
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/FuWZWFH0C024
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
[c56]
- view
  authority control:
- export record
  dblp key:
  - conf/cdc/SabouniAGCP024
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cdc/SabouniAGCP024
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. CDC 2024: 401-406
[c55]
- view
  authority control:
- export record
  dblp key:
  - conf/emnlp/ZhouZHS024
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/emnlp/ZhouZHS024
Weichao Zhou, Jiaxin Zhang, Hilaf Hasson, Anu Singh, Wenchao Li:
HyQE: Ranking Contexts with Hypothetical Query Embeddings. EMNLP (Findings) 2024: 13014-13032
[c54]
- view
  - electronic edition @ openreview.net (open access)
  - details & citations
- export record
  dblp key:
  - conf/icml/GuoZ024
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icml/GuoZ024
Zijian Guo, Weichao Zhou, Wenchao Li:
Temporal Logic Specification-Conditioned Decision Transformer for Offline Safe Reinforcement Learning. ICML 2024
[c53]
- view
  - electronic edition @ nips.cc (open access)
  - details & citations
- export record
  dblp key:
  - conf/nips/Zhou024
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nips/Zhou024
Weichao Zhou, Wenchao Li:
Rethinking Inverse Reinforcement Learning: from Data Alignment to Task Alignment. NeurIPS 2024
2023
[c52]
- view
  authority control:
- export record
  dblp key:
  - conf/allerton/ZhuLHCZWLF23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/allerton/ZhuLHCZWLF23
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: 1-8
[c51]
- view
  authority control:
- export record
  dblp key:
  - conf/atal/WardegaHTN023
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atal/WardegaHTN023
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
[c50]
- view
  authority control:
- export record
  dblp key:
  - conf/atal/WardegaHTN023a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atal/WardegaHTN023a
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
[c49]
- view
  authority control:
- export record
  dblp key:
  - conf/ccta/SabouniAXCL23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ccta/SabouniAXCL23
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
[c48]
- view
  authority control:
- export record
  dblp key:
  - conf/icmla/FuKL23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icmla/FuKL23
Feisi Fu, Panagiota Kiourti, Wenchao Li:
Dormant Neural Trojans. ICMLA 2023: 1784-1791
[c47]
- view
  authority control:
- export record
  dblp key:
  - conf/itsc/SabouniAC023
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/itsc/SabouniAC023
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
[c46]
- view
  authority control:
- export record
  dblp key:
  - conf/itsc/AhmadS0C023
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/itsc/AhmadS0C023
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
[c45]
- view
  authority control:
- export record
  dblp key:
  - conf/vehiclesec/AhmadS0C023
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vehiclesec/AhmadS0C023
H. M. Sabbir Ahmad, Ehsan Sabouni, Wei Xiao, Christos G. Cassandras, Wenchao Li:
Evaluations of Cyber Attacks on Cooperative Control of Connected and Autonomous Vehicles at Bottleneck Points. VehicleSec 2023
2022
[c44]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/aaai/ZhouL22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/ZhouL22
Weichao Zhou, Wenchao Li:
Programmatic Reward Design by Example. AAAI 2022: 9233-9241
[c43]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/arch/LopezABCFFHJLL022
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/arch/LopezABCFFHJLL022
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:
ARCH-COMP22 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants. ARCH@SAFECOMP 2022: 142-184
[c42]
- view
  authority control:
- export record
  dblp key:
  - conf/atva/HuangFCLZ22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/HuangFCLZ22
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]
- view
  authority control:
- export record
  dblp key:
  - conf/date/WardegaLKWJH22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/date/WardegaLKWJH22
Kacper Wardega, Wenchao Li, Hyoseung Kim, Yawen Wu, Zhenge Jia, Jingtong Hu:
Opportunistic Communication with Latency Guarantees for Intermittently-Powered Devices. DATE 2022: 1093-1098
[c40]
- view
  - electronic edition @ openreview.net (open access)
  - details & citations
- export record
  dblp key:
  - conf/iclr/FuL22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iclr/FuL22
Feisi Fu, Wenchao Li:
Sound and Complete Neural Network Repair with Minimality and Locality Guarantees. ICLR 2022
[c39]
- view
  - electronic edition @ mlr.press (open access)
  - details & citations
- export record
  dblp key:
  - conf/icml/FanL22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icml/FanL22
Jiameng Fan, Wenchao Li:
DRIBO: Robust Deep Reinforcement Learning via Multi-View Information Bottleneck. ICML 2022: 6074-6102
[c38]
- view
  - electronic edition @ mlr.press (open access)
  - details & citations
- export record
  dblp key:
  - conf/icml/ZhouL22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icml/ZhouL22
Weichao Zhou, Wenchao Li:
A Hierarchical Bayesian Approach to Inverse Reinforcement Learning with Symbolic Reward Machines. ICML 2022: 27159-27178
2021
[c37]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/aaai/FanL21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/FanL21
Jiameng Fan, Wenchao Li:
Adversarial Training and Provable Robustness: A Tale of Two Objectives. AAAI 2021: 7367-7376
[c36]
- view
  authority control:
- export record
  dblp key:
  - conf/acsac/KiourtiLRSJ21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/acsac/KiourtiLRSJ21
Panagiota Kiourti, Wenchao Li, Anirban Roy, Karan Sikka, Susmit Jha:
MISA: Online Defense of Trojaned Models using Misattributions. ACSAC 2021: 570-585
2020
[c35]
- view
  authority control:
- export record
  dblp key:
  - conf/atva/FanHCL020
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/FanHCL020
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]
- view
  authority control:
- export record
  dblp key:
  - conf/dac/HuangXWLL020
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dac/HuangXWLL020
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]
- view
  authority control:
- export record
  dblp key:
  - conf/dac/KiourtiWJL20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dac/KiourtiWJL20
Panagiota Kiourti, Kacper Wardega, Susmit Jha, Wenchao Li:
TrojDRL: Evaluation of Backdoor Attacks on Deep Reinforcement Learning. DAC 2020: 1-6
[c32]
- view
  authority control:
- export record
  dblp key:
  - conf/date/WardegaL20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/date/WardegaL20
Kacper Wardega, Wenchao Li:
Application-Aware Scheduling of Networked Applications over the Low-Power Wireless Bus. DATE 2020: 222-227
[c31]
- view
  authority control:
- export record
  dblp key:
  - conf/iccad/0002LKXWWWLHFC20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iccad/0002LKXWWWLHFC20
Qi Zhu, Wenchao Li, Hyoseung Kim, Yecheng Xiang, Kacper Wardega, Zhilu Wang, Yixuan Wang, Hengyi Liang, Chao Huang, Jiameng Fan, Hyunjong Choi:
Know the Unknowns: Addressing Disturbances and Uncertainties in Autonomous Systems : Invited Paper. ICCAD 2020: 82:1-82:9
[c30]
- view
  authority control:
- export record
  dblp key:
  - conf/rv/ZhouGKKL20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rv/ZhouGKKL20
Weichao Zhou, Ruihan Gao, BaekGyu Kim, Eunsuk Kang, Wenchao Li:
Runtime-Safety-Guided Policy Repair. RV 2020: 131-150
2019
[c29]
- view
  - electronic edition @ acm.org
  - details & citations
- export record
  dblp key:
  - conf/atal/WardegaTL19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atal/WardegaTL19
Kacper Wardega, Roberto Tron, Wenchao Li:
Masquerade Attack Detection Through Observation Planning for Multi-Robot Systems. AAMAS 2019: 2262-2264
[c28]
- view
  authority control:
- export record
  dblp key:
  - conf/cpsweek/HuangWL019
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cpsweek/HuangWL019
Chao Huang, Kacper Wardega, Wenchao Li, Qi Zhu:
Exploring weakly-hard paradigm for networked systems. DESTION@CPSIoTWeek 2019: 51-59
[c27]
- view
  authority control:
- export record
  dblp key:
  - conf/hybrid/HuangL019
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hybrid/HuangL019
Chao Huang, Wenchao Li, Qi Zhu:
Formal verification of weakly-hard systems. HSCC 2019: 197-207
[c26]
- view
  authority control:
- export record
  dblp key:
  - conf/iccad/FanHLCZ19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iccad/FanHLCZ19
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]
- view
  authority control:
- export record
  dblp key:
  - conf/sp/WardegaTL19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sp/WardegaTL19
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
2018
[c24]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/cav/ZhouL18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/ZhouL18
Weichao Zhou, Wenchao Li:
Safety-Aware Apprenticeship Learning. CAV (1) 2018: 662-680
2017
[c23]
- view
  authority control:
- export record
  dblp key:
  - conf/dac/ZhuLZRLC17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dac/ZhuLZRLC17
Qi Zhu, Hengyi Liang, Licong Zhang, Debayan Roy, Wenchao Li, Samarjit Chakraborty:
Extensibility-Driven Automotive In-Vehicle Architecture Design: Invited. DAC 2017: 13:1-13:6
[c22]
- view
  authority control:
- export record
  dblp key:
  - conf/smartcomp/ZhengLLSLZ17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/smartcomp/ZhengLLSLZ17
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
2016
[c21]
- view
  authority control:
- export record
  dblp key:
  - conf/iccad/ChenZZWZLH16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iccad/ChenZZWZLH16
Xiaodao Chen, Yuchen Zhou, Hong Zhou, Chaowei Wan, Qi Zhu, Wenchao Li, Shiyan Hu:
Analysis of production data manipulation attacks in petroleum cyber-physical systems. ICCAD 2016: 108
[c20]
- view
  authority control:
- export record
  dblp key:
  - conf/icsr/LiSSSS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icsr/LiSSSS16
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]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/nfm/BhattCLOOS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nfm/BhattCLOOS16
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]
- view
  authority control:
- export record
  dblp key:
  - conf/nfm/GhoshELLSS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nfm/GhoshELLSS16
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]
- view
  authority control:
- export record
  dblp key:
  - conf/dac/ZhengLDGZS15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dac/ZhengLDGZS15
Bowen Zheng, Wenchao Li, Peng Deng, Léonard Gérard, Qi Zhu, Natarajan Shankar:
Design and verification for transportation system security. DAC 2015: 96:1-96:6
[c16]
- view
  authority control:
- export record
  dblp key:
  - conf/memocode/LiGS15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/memocode/LiGS15
Wenchao Li, Léonard Gérard, Natarajan Shankar:
Design and verification of multi-rate distributed systems. MEMOCODE 2015: 20-29
2014
[c15]
- view
  - electronic edition @ aaai.org
  - details & citations
- export record
  dblp key:
  - conf/aaaiss/SadighDPLSBSSS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaaiss/SadighDPLSBSSS14
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]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/LiSSS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/LiSSS14
Wenchao Li, Dorsa Sadigh, S. Shankar Sastry, Sanjit A. Seshia:
Synthesis for Human-in-the-Loop Control Systems. TACAS 2014: 470-484
2013
[c13]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/cav/PuggelliLSS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/PuggelliLSS13
Alberto Puggelli, Wenchao Li, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia:
Polynomial-Time Verification of PCTL Properties of MDPs with Convex Uncertainties. CAV 2013: 527-542
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/host/LiGSTTMSS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/host/LiGSTTMSS13
Wenchao Li, Adrià Gascón, Pramod Subramanyan, Wei Yang Tan, Ashish Tiwari, Sharad Malik, Natarajan Shankar, Sanjit A. Seshia:
WordRev: Finding word-level structures in a sea of bit-level gates. HOST 2013: 67-74
2012
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/dac/LiSJ12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dac/LiSJ12
Wenchao Li, Sanjit A. Seshia, Somesh Jha:
CrowdMine: towards crowdsourced human-assisted verification. DAC 2012: 1254-1255
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/host/LiWS12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/host/LiWS12
Wenchao Li, Zach Wasson, Sanjit A. Seshia:
Reverse engineering circuits using behavioral pattern mining. HOST 2012: 83-88
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/rv/LiS12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rv/LiS12
Wenchao Li, Sanjit A. Seshia:
Sparse Coding for Specification Mining and Error Localization. RV 2012: 64-81
2011
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/memocode/LiDS11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/memocode/LiDS11
Wenchao Li, Lili Dworkin, Sanjit A. Seshia:
Mining assumptions for synthesis. MEMOCODE 2011: 43-50
2010
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/dac/LiFS10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dac/LiFS10
Wenchao Li, Alessandro Forin, Sanjit A. Seshia:
Scalable specification mining for verification and diagnosis. DAC 2010: 755-760
2009
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/date/HolcombLS09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/date/HolcombLS09
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]
- view
  authority control:
- export record
  dblp key:
  - conf/date/LiNZGSS09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/date/LiNZGSS09
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]
- view
  authority control:
- export record
  dblp key:
  - conf/hldvt/JhaLS09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hldvt/JhaLS09
Susmit Jha, Wenchao Li, Sanjit A. Seshia:
Localizing transient faults using dynamic bayesian networks. HLDVT 2009: 82-87
2008
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/fmcad/KupfermanLS08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmcad/KupfermanLS08
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]
- view
  authority control:
- export record
  dblp key:
  - conf/bsn/JafariLBGS07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/bsn/JafariLBGS07
Roozbeh Jafari, Wenchao Li, Ruzena Bajcsy, Steven D. Glaser, Shankar Sastry:
Physical Activity Monitoring for Assisted Living at Home. BSN 2007: 213-219
[c1]
- view
  - electronic edition @ acm.org
  - details & citations
- export record
  dblp key:
  - conf/date/SeshiaLM07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/date/SeshiaLM07
Sanjit A. Seshia, Wenchao Li, Subhasish Mitra:
Verification-guided soft error resilience. DATE 2007: 1442-1447

Informal and Other Publications

see FAQ

What is the meaning of the colors in the publication lists?

2025
[i33]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2506-00982
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2506-00982
Keshawn Smith, Zhili Zhang, H. M. Sabbir Ahmad, Ehsan Sabouni, Maniak Mondal, Song Han, Wenchao Li, Fei Miao:
Robust and Safe Multi-Agent Reinforcement Learning Framework with Communication for Autonomous Vehicles. CoRR abs/2506.00982 (2025)
[i32]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2507-14850
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2507-14850
H. M. Sabbir Ahmad, Ehsan Sabouni, Alexander Wasilkoff, Param Budhraja, Zijian Guo, Songyuan Zhang, Chuchu Fan, Christos G. Cassandras, Wenchao Li:
Hierarchical Multi-Agent Reinforcement Learning with Control Barrier Functions for Safety-Critical Autonomous Systems. CoRR abs/2507.14850 (2025)
[i31]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2508-01561
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2508-01561
Zijian Guo, Ilker Isik, H. M. Sabbir Ahmad, Wenchao Li:
One Subgoal at a Time: Zero-Shot Generalization to Arbitrary Linear Temporal Logic Requirements in Multi-Task Reinforcement Learning. CoRR abs/2508.01561 (2025)
2024
[i30]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2401-02306
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2401-02306
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)
[i29]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2402-17217
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2402-17217
Zijian Guo, Weichao Zhou, Wenchao Li:
Temporal Logic Specification-Conditioned Decision Transformer for Offline Safe Reinforcement Learning. CoRR abs/2402.17217 (2024)
[i28]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2403-17338
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2403-17338
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)
[i27]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2410-15262
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2410-15262
Weichao Zhou, Jiaxin Zhang, Hilaf Hasson, Anu Singh, Wenchao Li:
HyQE: Ranking Contexts with Hypothetical Query Embeddings. CoRR abs/2410.15262 (2024)
[i26]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2410-23680
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2410-23680
Weichao Zhou, Wenchao Li:
Rethinking Inverse Reinforcement Learning: from Data Alignment to Task Alignment. CoRR abs/2410.23680 (2024)
[i25]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2412-04606
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2412-04606
Chenyu Wang, Weichao Zhou, Shantanu Ghosh, Kayhan Batmanghelich, Wenchao Li:
Semantic Consistency-Based Uncertainty Quantification for Factuality in Radiology Report Generation. CoRR abs/2412.04606 (2024)
2023
[i24]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2301-06977
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2301-06977
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]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2301-10704
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2301-10704
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]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2304-01218
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2304-01218
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. CoRR abs/2304.01218 (2023)
[i21]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2305-16725
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2305-16725
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]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2305-16818
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2305-16818
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]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2306-01731
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2306-01731
Weichao Zhou, Wenchao Li:
PAGAR: Imitation Learning with Protagonist Antagonist Guided Adversarial Reward. CoRR abs/2306.01731 (2023)
[i18]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2306-01871
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2306-01871
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]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2306-13215
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2306-13215
Feisi Fu, Wenchao Li:
OVLA: Neural Network Ownership Verification using Latent Watermarks. CoRR abs/2306.13215 (2023)
2022
[i16]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2204-09772
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2204-09772
Weichao Zhou, Wenchao Li:
A Hierarchical Bayesian Approach to Inverse Reinforcement Learning with Symbolic Reward Machines. CoRR abs/2204.09772 (2022)
[i15]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2208-07289
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2208-07289
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 abs/2208.07289 (2022)
[i14]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2211-01808
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2211-01808
Feisi Fu, Panagiota Kiourti, Wenchao Li:
Dormant Neural Trojans. CoRR abs/2211.01808 (2022)
2021
[i13]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2102-13268
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2102-13268
Jiameng Fan, Wenchao Li:
Robust Deep Reinforcement Learning via Multi-View Information Bottleneck. CoRR abs/2102.13268 (2021)
[i12]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2103-15918
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2103-15918
Panagiota Kiourti, Wenchao Li, Anirban Roy, Karan Sikka, Susmit Jha:
Online Defense of Trojaned Models using Misattributions. CoRR abs/2103.15918 (2021)
[i11]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2106-13867
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2106-13867
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]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2110-07682
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2110-07682
Feisi Fu, Wenchao Li:
Sound and Complete Neural Network Repair with Minimality and Locality Guarantees. CoRR abs/2110.07682 (2021)
[i9]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2112-08438
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2112-08438
Weichao Zhou, Wenchao Li:
Programmatic Reward Design by Example. CoRR abs/2112.08438 (2021)
2020
[i8]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2005-03726
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2005-03726
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]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2008-06081
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2008-06081
Jiameng Fan, Wenchao Li:
Adversarial Training and Provable Robustness: A Tale of Two Objectives. CoRR abs/2008.06081 (2020)
[i6]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2008-07667
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2008-07667
Weichao Zhou, Ruihan Gao, BaekGyu Kim, Eunsuk Kang, Wenchao Li:
Runtime-Safety-Guided Policy Repair. CoRR abs/2008.07667 (2020)
2019
[i5]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1903-02526
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1903-02526
Jiameng Fan, Wenchao Li:
Safety-Guided Deep Reinforcement Learning via Online Gaussian Process Estimation. CoRR abs/1903.02526 (2019)
[i4]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1903-06638
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1903-06638
Panagiota Kiourti, Kacper Wardega, Susmit Jha, Wenchao Li:
TrojDRL: Trojan Attacks on Deep Reinforcement Learning Agents. CoRR abs/1903.06638 (2019)
[i3]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1906-10654
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1906-10654
Chao Huang, Jiameng Fan, Wenchao Li, Xin Chen, Qi Zhu:
ReachNN: Reachability Analysis of Neural-Network Controlled Systems. CoRR abs/1906.10654 (2019)
2017
[i2]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1710-07983
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1710-07983
Weichao Zhou, Wenchao Li:
Safety-Aware Apprenticeship Learning. CoRR abs/1710.07983 (2017)
2014
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/GhoshELLSS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/GhoshELLSS14
Shalini Ghosh, Daniel Elenius, Wenchao Li, Patrick Lincoln, Natarajan Shankar, Wilfried Steiner:
Automatically Extracting Requirements Specifications from Natural Language. CoRR abs/1403.3142 (2014)

Coauthor Index

see FAQ

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.