Physical Activity Monitoring for Assisted Living at Home. - Roozbeh Jafari; Wenchao Li 001; Ruzena Bajcsy; Steven D. Glaser; Shankar Sastry 001 (BSN, 2007)

Verification-guided soft error resilience. - Sanjit A. Seshia; Wenchao Li 001; Subhasish Mitra (DATE, 2007)

A Theory of Mutations with Applications to Vacuity, Coverage, and Fault Tolerance. - Orna Kupferman; Wenchao Li 001; Sanjit A. Seshia (FMCAD, 2008)

Design as you see FIT: System-level soft error analysis of sequential circuits. - Daniel E. Holcomb; Wenchao Li 001; Sanjit A. Seshia (DATE, 2009)

Optimizations of an application-level protocol for enhanced dependability in FlexRay. - Wenchao Li 001; Marco Di Natale; Wei Zheng; Paolo Giusto; Alberto L. Sangiovanni-Vincentelli; Sanjit A. Seshia (DATE, 2009)

Localizing transient faults using dynamic bayesian networks. - Susmit Jha; Wenchao Li 001; Sanjit A. Seshia (HLDVT, 2009)

Scalable specification mining for verification and diagnosis. - Wenchao Li 001; Alessandro Forin; Sanjit A. Seshia (DAC, 2010)

Mining assumptions for synthesis. - Wenchao Li 001; Lili Dworkin; Sanjit A. Seshia (MEMOCODE, 2011)

CrowdMine: towards crowdsourced human-assisted verification. - Wenchao Li 001; Sanjit A. Seshia; Somesh Jha (DAC, 2012)

Reverse engineering circuits using behavioral pattern mining. - Wenchao Li 001; Zach Wasson; Sanjit A. Seshia (HOST, 2012)

Sparse Coding for Specification Mining and Error Localization. - Wenchao Li 001; Sanjit A. Seshia (RV, 2012)

Polynomial-Time Verification of PCTL Properties of MDPs with Convex Uncertainties. - Alberto Puggelli; Wenchao Li 001; Alberto L. Sangiovanni-Vincentelli; Sanjit A. Seshia (CAV, 2013)

WordRev: Finding word-level structures in a sea of bit-level gates. - Wenchao Li 001; Adrià Gascón; Pramod Subramanyan; Wei Yang Tan; Ashish Tiwari 001; Sharad Malik; Natarajan Shankar; Sanjit A. Seshia (HOST, 2013)

Specification Mining: New Formalisms, Algorithms and Applications. - Wenchao Li 001 (2013)

Data-Driven Probabilistic Modeling and Verification of Human Driver Behavior. - Dorsa Sadigh; Katherine Rose Driggs-Campbell; Alberto Puggelli; Wenchao Li 001; Victor Shia; Ruzena Bajcsy; Alberto L. Sangiovanni-Vincentelli; S. Shankar Sastry; Sanjit A. Seshia (AAAI Spring Symposia, 2014)

Synthesis for Human-in-the-Loop Control Systems. - Wenchao Li 001; Dorsa Sadigh; S. Shankar Sastry; Sanjit A. Seshia (TACAS, 2014)

Automatically Extracting Requirements Specifications from Natural Language. - Shalini Ghosh; Daniel Elenius; Wenchao Li 001; Patrick Lincoln; Natarajan Shankar; Wilfried Steiner (CoRR, 2014)

Reverse Engineering Digital Circuits Using Structural and Functional Analyses. - Pramod Subramanyan; Nestan Tsiskaridze; Wenchao Li 001; Adrià Gascón; Wei Yang Tan; Ashish Tiwari 001; Natarajan Shankar; Sanjit A. Seshia; Sharad Malik (IEEE Trans. Emerg. Top. Comput., 2014)

Design and verification for transportation system security. - Bowen Zheng 001; Wenchao Li 001; Peng Deng; Léonard Gérard; Qi Zhu 002; Natarajan Shankar (DAC, 2015)

Design and verification of multi-rate distributed systems. - Wenchao Li 001; Léonard Gérard; Natarajan Shankar (MEMOCODE, 2015)

Analysis of production data manipulation attacks in petroleum cyber-physical systems. - Xiaodao Chen; Yuchen Zhou 003; Hong Zhou; Chaowei Wan; Qi Zhu 002; Wenchao Li 001; Shiyan Hu 001 (ICCAD, 2016)

Detecting Similar Programs via The Weisfeiler-Leman Graph Kernel. - Wenchao Li 001; Hossein Saidi 002; Huascar Sanchez; Martin Schäf; Pascal Schweitzer (ICSR, 2016)

Contract-Based Verification of Complex Time-Dependent Behaviors in Avionic Systems. - Devesh Bhatt; Arunabh Chattopadhyay; Wenchao Li 001; David Oglesby; Sam Owre; Natarajan Shankar (NFM, 2016)

ARSENAL: Automatic Requirements Specification Extraction from Natural Language. - Shalini Ghosh; Daniel Elenius; Wenchao Li 001; Patrick Lincoln; Natarajan Shankar; Wilfried Steiner (NFM, 2016)

Extensibility-Driven Automotive In-Vehicle Architecture Design: Invited. - Qi Zhu 002; Hengyi Liang; Licong Zhang; Debayan Roy; Wenchao Li 001; Samarjit Chakraborty (DAC, 2017)

Delay-Aware Design, Analysis and Verification of Intelligent Intersection Management. - Bowen Zheng 001; Chung-Wei Lin; Hengyi Liang; Shinichi Shiraishi; Wenchao Li 001; Qi Zhu 002 (SMARTCOMP, 2017)

Design Automation of Cyber-Physical Systems: Challenges, Advances, and Opportunities. - Sanjit A. Seshia; Shiyan Hu 001; Wenchao Li 001; Qi Zhu 002 (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2017)

Safety-Aware Apprenticeship Learning. - Weichao Zhou; Wenchao Li 001 (CAV (1), 2018)

Guest Editorial: Special Issue on (Industrial) Internet-of-Things for Smart and Sensing Systems: Issues, Trends, and Applications. - Hervé Panetto; Paulo Cézar Stadzisz; Wenchao Li 001; Qing-Shan (Samuel) Jia (IEEE Internet Things J., 2018)

Masquerade Attack Detection Through Observation Planning for Multi-Robot Systems. - Kacper Wardega; Roberto Tron; Wenchao Li 001 (AAMAS, 2019)

Exploring weakly-hard paradigm for networked systems. - Chao Huang 015; Kacper Wardega; Wenchao Li 001; Qi Zhu 002 (DESTION@CPSIoTWeek, 2019)

Formal verification of weakly-hard systems. - Chao Huang 015; Wenchao Li 001; Qi Zhu 002 (HSCC, 2019)

Towards Verification-Aware Knowledge Distillation for Neural-Network Controlled Systems: Invited Paper. - Jiameng Fan; Chao Huang 015; Wenchao Li 001; Xin Chen 002; Qi Zhu 002 (ICCAD, 2019)

Resilience of Multi-robot Systems to Physical Masquerade Attacks. - Kacper Wardega; Roberto Tron; Wenchao Li 001 (IEEE Symposium on Security and Privacy Workshops, 2019)

Safety-Guided Deep Reinforcement Learning via Online Gaussian Process Estimation. - Jiameng Fan; Wenchao Li 001 (CoRR, 2019)

TrojDRL: Trojan Attacks on Deep Reinforcement Learning Agents. - Panagiota Kiourti; Kacper Wardega; Susmit Jha; Wenchao Li 001 (CoRR, 2019)

ReachNN: Reachability Analysis of Neural-Network Controlled Systems. - Chao Huang 015; Jiameng Fan; Wenchao Li 001; Xin Chen 002; Qi Zhu 002 (ACM Trans. Embed. Comput. Syst., 2019)

ReachNN*: A Tool for Reachability Analysis of Neural-Network Controlled Systems. - Jiameng Fan; Chao Huang 015; Xin Chen 002; Wenchao Li 001; Qi Zhu 002 (ATVA, 2020)

Opportunistic Intermittent Control with Safety Guarantees for Autonomous Systems. - Chao Huang 015; Shichao Xu; Zhilu Wang; Shuyue Lan; Wenchao Li 001; Qi Zhu 002 (DAC, 2020)

TrojDRL: Evaluation of Backdoor Attacks on Deep Reinforcement Learning. - Panagiota Kiourti; Kacper Wardega; Susmit Jha; Wenchao Li 001 (DAC, 2020)

Application-Aware Scheduling of Networked Applications over the Low-Power Wireless Bus. - Kacper Wardega; Wenchao Li 001 (DATE, 2020)

Know the Unknowns: Addressing Disturbances and Uncertainties in Autonomous Systems : Invited Paper. - Qi Zhu 002; Wenchao Li 001; Hyoseung Kim 001; Yecheng Xiang; Kacper Wardega; Zhilu Wang; Yixuan Wang 001; Hengyi Liang; Chao Huang 015; Jiameng Fan; Hyunjong Choi (ICCAD, 2020)

Runtime-Safety-Guided Policy Repair. - Weichao Zhou; Ruihan Gao; BaekGyu Kim; Eunsuk Kang; Wenchao Li 001 (RV, 2020)

Divide and Slide: Layer-Wise Refinement for Output Range Analysis of Deep Neural Networks. - Chao Huang 015; Jiameng Fan; Xin Chen 002; Wenchao Li 001; Qi Zhu 002 (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2020)

Adversarial Training and Provable Robustness: A Tale of Two Objectives. - Jiameng Fan; Wenchao Li 001 (AAAI, 2021)

MISA: Online Defense of Trojaned Models using Misattributions. - Panagiota Kiourti; Wenchao Li 001; Anirban Roy; Karan Sikka; Susmit Jha (ACSAC, 2021)

Robust Deep Reinforcement Learning via Multi-View Information Bottleneck. - Jiameng Fan; Wenchao Li 001 (CoRR, 2021)

Online Defense of Trojaned Models using Misattributions. - Panagiota Kiourti; Wenchao Li 001; Anirban Roy; Karan Sikka; Susmit Jha (CoRR, 2021)

Cross-Layer Adaptation with Safety-Assured Proactive Task Job Skipping. - Zhilu Wang; Chao Huang 015; Hyoseung Kim 001; Wenchao Li 001; Qi Zhu 002 (ACM Trans. Embed. Comput. Syst., 2021)

Programmatic Reward Design by Example. - Weichao Zhou; Wenchao Li 001 (AAAI, 2022)

ARCH-COMP22 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants. - Diego Manzanas Lopez; Matthias Althoff; Luis Benet; Xin Chen 002; Jiameng Fan; Marcelo Forets; Chao Huang 015; Taylor T. Johnson; Tobias Ladner; Wenchao Li 001; Christian Schilling 001; Qi Zhu 002 (ARCH@SAFECOMP, 2022)

POLAR: A Polynomial Arithmetic Framework for Verifying Neural-Network Controlled Systems. - Chao Huang 015; Jiameng Fan; Xin Chen 002; Wenchao Li 001; Qi Zhu 002 (ATVA, 2022)

Opportunistic Communication with Latency Guarantees for Intermittently-Powered Devices. - Kacper Wardega; Wenchao Li 001; Hyoseung Kim 001; Yawen Wu; Zhenge Jia; Jingtong Hu (DATE, 2022)

Sound and Complete Neural Network Repair with Minimality and Locality Guarantees. - Feisi Fu; Wenchao Li 001 (ICLR, 2022)

DRIBO: Robust Deep Reinforcement Learning via Multi-View Information Bottleneck. - Jiameng Fan; Wenchao Li 001 (ICML, 2022)

A Hierarchical Bayesian Approach to Inverse Reinforcement Learning with Symbolic Reward Machines. - Weichao Zhou; Wenchao Li 001 (ICML, 2022)

A Tool for Neural Network Global Robustness Certification and Training. - Zhilu Wang; Yixuan Wang 001; Feisi Fu; Ruochen Jiao; Chao Huang 015; Wenchao Li 001; Qi Zhu 002 (CoRR, 2022)

Verification and Design of Robust and Safe Neural Network-enabled Autonomous Systems. - Qi Zhu 002; Wenchao Li 001; Chao Huang 015; Xin Chen 002; Weichao Zhou; Yixuan Wang 001; Jiajun Li; Feisi Fu (Allerton, 2023)

Byzantine Resilience at Swarm Scale: A Decentralized Blocklist Protocol from Inter-robot Accusations. - Kacper Wardega; Max von Hippel; Roberto Tron; Cristina Nita-Rotaru; Wenchao Li 001 (AAMAS, 2023)

HoLA Robots: Mitigating Plan-Deviation Attacks in Multi-Robot Systems with Co-Observations and Horizon-Limiting Announcements. - Kacper Wardega; Max von Hippel; Roberto Tron; Cristina Nita-Rotaru; Wenchao Li 001 (AAMAS, 2023)

Optimal Control of Connected Automated Vehicles with Event-Triggered Control Barrier Functions: a Test Bed for Safe Optimal Merging. - Ehsan Sabouni; H. M. Sabbir Ahmad; Wei Xiao 003; Christos G. Cassandras; Wenchao Li 001 (CCTA, 2023)

Dormant Neural Trojans. - Feisi Fu; Panagiota Kiourti; Wenchao Li 001 (ICMLA, 2023)

Trust-Aware Resilient Control and Coordination of Connected and Automated Vehicles. - H. M. Sabbir Ahmad; Ehsan Sabouni; Wei Xiao 003; Christos G. Cassandras; Wenchao Li 001 (ITSC, 2023)

Merging Control in Mixed Traffic with Safety Guarantees: A Safe Sequencing Policy with Optimal Motion Control. - Ehsan Sabouni; H. M. Sabbir Ahmad; Christos G. Cassandras; Wenchao Li 001 (ITSC, 2023)

Evaluations of Cyber Attacks on Cooperative Control of Connected and Autonomous Vehicles at Bottleneck Points. - H. M. Sabbir Ahmad; Ehsan Sabouni; Wei Xiao 003; Christos G. Cassandras; Wenchao Li 001 (VehicleSec, 2023)

PAGAR: Imitation Learning with Protagonist Antagonist Guided Adversarial Reward. - Weichao Zhou; Wenchao Li 001 (CoRR, 2023)

OVLA: Neural Network Ownership Verification using Latent Watermarks. - Feisi Fu; Wenchao Li 001 (CoRR, 2023)

REGLO: Provable Neural Network Repair for Global Robustness Properties. - Feisi Fu; Zhilu Wang; Weichao Zhou; Yixuan Wang 001; Jiameng Fan; Chao Huang 015; Qi Zhu 002; Xin Chen 002; Wenchao Li 001 (AAAI, 2024)

Reinforcement Learning-based Receding Horizon Control using Adaptive Control Barrier Functions for Safety-Critical Systems. - Ehsan Sabouni; H. M. Sabbir Ahmad; Vittorio Giammarino; Christos G. Cassandras; Ioannis Ch. Paschalidis; Wenchao Li 001 (CDC, 2024)

HyQE: Ranking Contexts with Hypothetical Query Embeddings. - Weichao Zhou; Jiaxin Zhang; Hilaf Hasson; Anu Singh; Wenchao Li 001 (EMNLP (Findings), 2024)

Temporal Logic Specification-Conditioned Decision Transformer for Offline Safe Reinforcement Learning. - Zijian Guo 002; Weichao Zhou; Wenchao Li 001 (ICML, 2024)

Rethinking Inverse Reinforcement Learning: from Data Alignment to Task Alignment. - Weichao Zhou; Wenchao Li 001 (NeurIPS, 2024)

Secure Control of Connected and Automated Vehicles Using Trust-Aware Robust Event-Triggered Control Barrier Functions. - H. M. Sabbir Ahmad; Ehsan Sabouni; Akua Dickson; Wei Xiao 003; Christos G. Cassandras; Wenchao Li 001 (CoRR, 2024)

POLAR-Express: Efficient and Precise Formal Reachability Analysis of Neural-Network Controlled Systems. - Yixuan Wang 001; Weichao Zhou; Jiameng Fan; Zhilu Wang; Jiajun Li; Xin Chen 002; Chao Huang 015; Wenchao Li 001; Qi Zhu 002 (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2024)

Constraint-Conditioned Actor-Critic for Offline Safe Reinforcement Learning. - Zijian Guo 002; Weichao Zhou; Shengao Wang; Wenchao Li 001 (ICLR, 2025)

Semantic Consistency-Based Uncertainty Quantification for Factuality in Radiology Report Generation. - Chenyu Wang; Weichao Zhou; Shantanu Ghosh; Kayhan Batmanghelich; Wenchao Li 001 (NAACL (Findings), 2025)

Robust and Safe Multi-Agent Reinforcement Learning Framework with Communication for Autonomous Vehicles. - Keshawn Smith; Zhili Zhang; H. M. Sabbir Ahmad; Ehsan Sabouni; Maniak Mondal; Song Han; Wenchao Li 001; Fei Miao (CoRR, 2025)

Hierarchical Multi-Agent Reinforcement Learning with Control Barrier Functions for Safety-Critical Autonomous Systems. - H. M. Sabbir Ahmad; Ehsan Sabouni; Alexander Wasilkoff; Param Budhraja; Zijian Guo 002; Songyuan Zhang; Chuchu Fan; Christos G. Cassandras; Wenchao Li 001 (CoRR, 2025)

One Subgoal at a Time: Zero-Shot Generalization to Arbitrary Linear Temporal Logic Requirements in Multi-Task Reinforcement Learning. - Zijian Guo 002; Ilker Isik; H. M. Sabbir Ahmad; Wenchao Li 001 (CoRR, 2025)