Statistical Framework for Source Anonymity in Sensor Networks. - Basel Alomair; Andrew Clark 001; Jorge Cuéllar; Radha Poovendran (GLOBECOM, 2010)

A Metric for Quantifying Key Exposure Vulnerability in Wireless Sensor Networks. - Andrew Clark 001; Radha Poovendran (WCNC, 2010)

The power of primes: security of authentication based on a universal hash-function family. - Basel Alomair; Andrew Clark 001; Radha Poovendran (J. Math. Cryptol., 2010)

A submodular optimization framework for leader selection in linear multi-agent systems. - Andrew Clark 001; Radha Poovendran (CDC/ECC, 2011)

Maximizing Influence in Competitive Environments: A Game-Theoretic Approach. - Andrew Clark 001; Radha Poovendran (GameSec, 2011)

A passivity-based framework for composing attacks on networked control systems. - Andrew Clark 001; Linda Bushnell; Radha Poovendran (Allerton Conference, 2012)

Leader selection in multi-agent systems for smooth convergence via fast mixing. - Andrew Clark 001; Basel Alomair; Linda Bushnell; Radha Poovendran (CDC, 2012)

On leader selection for performance and controllability in multi-agent systems. - Andrew Clark 001; Linda Bushnell; Radha Poovendran (CDC, 2012)

Deceptive routing games. - Quanyan Zhu; Andrew Clark 001; Radha Poovendran; Tamer Basar (CDC, 2012)

Deceptive Routing in Relay Networks. - Andrew Clark 001; Quanyan Zhu; Radha Poovendran; Tamer Basar (GameSec, 2012)

Leader selection games under link noise injection attacks. - Andrew Clark 001; Linda Bushnell; Radha Poovendran (HiCoNS, 2012)

Leader selection for minimizing convergence error in leader-follower systems: A supermodular optimization approach. - Andrew Clark 001; Linda Bushnell; Radha Poovendran (WiOpt, 2012)

SODEXO: A System Framework for Deployment and Exploitation of Deceptive Honeybots in Social Networks - Quanyan Zhu; Andrew Clark 001; Radha Poovendran; Tamer Basar (CoRR, 2012)

Scalable RFID Systems: A Privacy-Preserving Protocol with Constant-Time Identification. - Basel Alomair; Andrew Clark 001; Jorge Cuéllar; Radha Poovendran (IEEE Trans. Parallel Distributed Syst., 2012)

Joint leader and link weight selection for fast convergence in multi-agent systems. - Andrew Clark 001; Linda Bushnell; Radha Poovendran (ACC, 2013)

An impact-aware defense against Stuxnet. - Andrew Clark 001; Quanyan Zhu; Radha Poovendran; Tamer Basar (ACC, 2013)

Effectiveness of IP address randomization in decoy-based moving target defense. - Andrew Clark 001; Kun Sun 001; Radha Poovendran (CDC, 2013)

Deployment and exploitation of deceptive honeybots in social networks. - Quanyan Zhu; Andrew Clark 001; Radha Poovendran; Tamer Basar (CDC, 2013)

Modeling and Designing Network Defense against Control Channel Jamming Attacks: A Passivity-Based Approach. - Phillip Lee; Andrew Clark 001; Linda Bushnell; Radha Poovendran (CPSW@CISS, 2013)

Using Social Information for Flow Allocation in MANETs. - Andrew Clark 001; Amit Pande; Kannan Govindan 001; Radha Poovendran; Prasant Mohapatra (CoRR, 2013)

Toward a Statistical Framework for Source Anonymity in Sensor Networks. - Basel Alomair; Andrew Clark 001; Jorge Cuéllar; Radha Poovendran (IEEE Trans. Mob. Comput., 2013)

Distributed online submodular maximization in resource-constrained networks. - Andrew Clark 001; Basel Alomair; Linda Bushnell; Radha Poovendran (WiOpt, 2014)

Global Practical Node and Edge Synchronization in Kuramoto Networks: A Submodular Optimization Framework. - Andrew Clark 001; Basel Alomair; Linda Bushnell; Radha Poovendran (CoRR, 2014)

Minimizing Convergence Error in Multi-Agent Systems Via Leader Selection: A Supermodular Optimization Approach. - Andrew Clark 001; Basel Alomair; Linda Bushnell; Radha Poovendran (IEEE Trans. Autom. Control., 2014)

A Supermodular Optimization Framework for Leader Selection Under Link Noise in Linear Multi-Agent Systems. - Andrew Clark 001; Linda Bushnell; Radha Poovendran (IEEE Trans. Autom. Control., 2014)

A Passivity Framework for Modeling and Mitigating Wormhole Attacks on Networked Control Systems. - Phillip Lee; Andrew Clark 001; Linda Bushnell; Radha Poovendran (IEEE Trans. Autom. Control., 2014)

Jamming-based adversarial control of network flow allocation: A passivity approach. - Phillip Lee; Andrew Clark 001; Basel Alomair; Linda Bushnell; Radha Poovendran (ACC, 2015)

Passivity framework for composition and mitigation of multi-virus propagation in networked systems. - Phillip Lee; Andrew Clark 001; Linda Bushnell; Radha Poovendran (ACC, 2015)

Input selection for disturbance rejection in networked cyber-physical systems. - Andrew Clark 001; Basel Alomair; Linda Bushnell; Radha Poovendran (CDC, 2015)

A host takeover game model for competing malware. - Phillip Lee; Andrew Clark 001; Basel Alomair; Linda Bushnell; Radha Poovendran (CDC, 2015)

A Game-Theoretic Approach to IP Address Randomization in Decoy-Based Cyber Defense. - Andrew Clark 001; Kun Sun 001; Linda Bushnell; Radha Poovendran (GameSec, 2015)

Passivity-Based Distributed Strategies for Stochastic Stackelberg Security Games. - Phillip Lee; Andrew Clark 001; Basel Alomair; Linda Bushnell; Radha Poovendran (GameSec, 2015)

Scalable and distributed submodular maximization with matroid constraints. - Andrew Clark 001; Basel Alomair; Linda Bushnell; Radha Poovendran (WiOpt, 2015)

Distributed adaptive patching strategies against malware propagation: A passivity approach. - Phillip Lee; Andrew Clark 001; Basel Alomair; Linda Bushnell; Radha Poovendran (CDC, 2016)

MinGen: Minimal generator set selection for small signal stability in power systems: A submodular framework. - Zhipeng Liu 001; Andrew Clark 001; Phillip Lee; Linda Bushnell; Daniel S. Kirschen; Radha Poovendran (CDC, 2016)

Towards Scalable Voltage Control in Smart Grid: A Submodular Optimization Approach. - Zhipeng Liu 001; Andrew Clark 001; Phillip Lee; Linda Bushnell; Daniel S. Kirschen; Radha Poovendran (ICCPS, 2016)

Submodularity in Input Node Selection for Networked Systems. - Andrew Clark 001; Basel Alomair; Linda Bushnell; Radha Poovendran (CoRR, 2016)

A submodular optimization approach to leader-follower consensus in networks with negative edges. - Andrew Clark 001; Qiqiang Hou; Linda Bushnell; Radha Poovendran (ACC, 2017)

Discrete-time fractional-order multiple scenario-based sensor selection. - Sérgio Pequito; Andrew Clark 001; George J. Pappas (ACC, 2017)

Attacking Automatic Video Analysis Algorithms: A Case Study of Google Cloud Video Intelligence API. - Hossein Hosseini; Baicen Xiao; Andrew Clark 001; Radha Poovendran (MPS@CCS, 2017)

Minimal input selection for robust control. - Zhipeng Liu 001; Yao Long; Andrew Clark 001; Phillip Lee; Linda Bushnell; Daniel S. Kirschen; Radha Poovendran (CDC, 2017)

A submodular optimization approach to controlled islanding under cascading failure. - Zhipeng Liu 001; Andrew Clark 001; Phillip Lee; Linda Bushnell; Daniel S. Kirschen; Radha Poovendran (ICCPS, 2017)

Input Selection for Performance and Controllability of Structured Linear Descriptor Systems. - Andrew Clark 001; Basel Alomair; Linda Bushnell; Radha Poovendran (SIAM J. Control. Optim., 2017)

Toward Synchronization in Networks With Nonlinear Dynamics: A Submodular Optimization Framework. - Andrew Clark 001; Basel Alomair; Linda Bushnell; Radha Poovendran (IEEE Trans. Autom. Control., 2017)

Linear Quadratic Gaussian Control Under False Data Injection Attacks. - Andrew Clark 001; Luyao Niu (ACC, 2018)

Secure Control Under Linear Temporal Logic Constraints. - Luyao Niu; Andrew Clark 001 (ACC, 2018)

Modeling and Mitigating the Coremelt Attack. - Guosong Yang; Hossein Hosseini; Dinuka Sahabandu; Andrew Clark 001; João P. Hespanha 001; Radha Poovendran (ACC, 2018)

Input Selection for Performance, Stabilizability, and Controllability of Structured Linear Descriptor Systems. - Andrew Clark 001; Linda Bushnell; Radha Poovendran (CDC, 2018)

Minimum Violation Control Synthesis on Cyber-Physical Systems under Attacks. - Luyao Niu; Jie Fu 002; Andrew Clark 001 (CDC, 2018)

DIFT Games: Dynamic Information Flow Tracking Games for Advanced Persistent Threats. - Dinuka Sahabandu; Baicen Xiao; Andrew Clark 001; Sangho Lee 001; Wenke Lee; Radha Poovendran (CDC, 2018)

Multi-stage Dynamic Information Flow Tracking Game. - Shana Moothedath; Dinuka Sahabandu; Andrew Clark 001; Sangho Lee 001; Wenke Lee; Radha Poovendran (GameSec, 2018)

A Differentially Private and Truthful Incentive Mechanism for Traffic Offload to Public Transportation. - Luyao Niu; Andrew Clark 001 (GameSec, 2018)

Cloaking the clock: emulating clock skew in controller area networks. - Sang Uk Sagong; Xuhang Ying; Andrew Clark 001; Linda Bushnell; Radha Poovendran (ICCPS, 2018)

Maximizing the smallest eigenvalue of a symmetric matrix: A submodular optimization approach. - Andrew Clark 001; Qiqiang Hou; Linda Bushnell; Radha Poovendran (Autom., 2018)

A Game Theoretic Approach for Dynamic Information Flow Tracking to Detect Multi-Stage Advanced Persistent Threats. - Shana Moothedath; Dinuka Sahabandu; Joey Allen; Andrew Clark 001; Linda Bushnell; Wenke Lee; Radha Poovendran (CoRR, 2018)

Combinatorial Algorithms for Control of Biological Regulatory Networks. - Andrew Clark 001; Phillip Lee; Basel Alomair; Linda Bushnell; Radha Poovendran (IEEE Trans. Control. Netw. Syst., 2018)

Adaptive Mitigation of Multi-Virus Propagation: A Passivity-Based Approach. - Phillip Lee; Andrew Clark 001; Basel Alomair; Linda Bushnell; Radha Poovendran (IEEE Trans. Control. Netw. Syst., 2018)

Control Barrier Functions for Complete and Incomplete Information Stochastic Systems. - Andrew Clark 001 (ACC, 2019)

LQG Reference Tracking with Safety and Reachability Guarantees under False Data Injection Attacks. - Luyao Niu; Zhouchi Li; Andrew Clark 001 (ACC, 2019)

Secure Control under Partial Observability with Temporal Logic Constraints. - Bhaskar Ramasubramanian; Andrew Clark 001; Linda Bushnell; Radha Poovendran (ACC, 2019)

A Game Theoretic Approach for Dynamic Information Flow Tracking with Conditional Branching. - Dinuka Sahabandu; Shana Moothedath; Linda Bushnell; Radha Poovendran; Joey Allen; Wenke Lee; Andrew Clark 001 (ACC, 2019)

A Submodular Optimization Approach to the Metric Traveling Salesman Problem with Neighborhoods. - Andrew Clark 001 (CDC, 2019)

Resilient Trajectory Planning in Adversarial Environments. - Andrew Clark 001; Zhouchi Li (CDC, 2019)

Robust Maximization of Correlated Submodular Functions. - Qiqiang Hou; Andrew Clark 001 (CDC, 2019)

Dynamic Information Flow Tracking Games for Simultaneous Detection of Multiple Attackers. - Dinuka Sahabandu; Shana Moothedath; Joey Allen; Andrew Clark 001; Linda Bushnell; Wenke Lee; Radha Poovendran (CDC, 2019)

Potential-Based Advice for Stochastic Policy Learning. - Baicen Xiao; Bhaskar Ramasubramanian; Andrew Clark 001; Hannaneh Hajishirzi; Linda Bushnell; Radha Poovendran (CDC, 2019)

A Framework for Joint Attack Detection and Control Under False Data Injection. - Luyao Niu; Andrew Clark 001 (GameSec, 2019)

Linear Temporal Logic Satisfaction in Adversarial Environments Using Secure Control Barrier Certificates. - Bhaskar Ramasubramanian; Luyao Niu; Andrew Clark 001; Linda Bushnell; Radha Poovendran (GameSec, 2019)

On the Structure and Computation of Random Walk Times in Finite Graphs. - Andrew Clark 001; Basel Alomair; Linda Bushnell; Radha Poovendran (IEEE Trans. Autom. Control., 2019)

Minimal Input and Output Selection for Stability of Systems With Uncertainties. - Zhipeng Liu 001; Yao Long; Andrew Clark 001; Linda Bushnell; Daniel S. Kirschen; Radha Poovendran (IEEE Trans. Autom. Control., 2019)

Shape of the Cloak: Formal Analysis of Clock Skew-Based Intrusion Detection System in Controller Area Networks. - Xuhang Ying; Sang Uk Sagong; Andrew Clark 001; Linda Bushnell; Radha Poovendran (IEEE Trans. Inf. Forensics Secur., 2019)

Cyber-Physical Resilience: Definition and Assessment Metric. - Andrew Clark 001; Saman A. Zonouz (IEEE Trans. Smart Grid, 2019)

FRESH: Interactive Reward Shaping in High-Dimensional State Spaces using Human Feedback. - Baicen Xiao; Qifan Lu; Bhaskar Ramasubramanian; Andrew Clark 001; Linda Bushnell; Radha Poovendran (AAMAS, 2020)

Control Barrier Functions for Safe CPS Under Sensor Faults and Attacks. - Andrew Clark 001; Zhouchi Li; Hongchao Zhang (CDC, 2020)

Control Barrier Functions for Abstraction-Free Control Synthesis under Temporal Logic Constraints. - Luyao Niu; Andrew Clark 001 (CDC, 2020)

Privacy-Preserving Resilience of Cyber-Physical Systems to Adversaries. - Bhaskar Ramasubramanian; Luyao Niu; Andrew Clark 001; Linda Bushnell; Radha Poovendran (CDC, 2020)

Submodular Input Selection for Synchronization in Kuramoto Networks. - Dinuka Sahabandu; Andrew Clark 001; Linda Bushnell; Radha Poovendran (CDC, 2020)

Control Synthesis for Cyber-Physical Systems to Satisfy Metric Interval Temporal Logic Objectives under Timing and Actuator Attacks. - Luyao Niu; Bhaskar Ramasubramanian; Andrew Clark 001; Linda Bushnell; Radha Poovendran (ICCPS, 2020)

A Game-Theoretic Approach for Dynamic Information Flow Tracking to Detect Multistage Advanced Persistent Threats. - Shana Moothedath; Dinuka Sahabandu; Joey Allen; Andrew Clark 001; Linda Bushnell; Wenke Lee; Radha Poovendran (IEEE Trans. Autom. Control., 2020)

Optimal Secure Control With Linear Temporal Logic Constraints. - Luyao Niu; Andrew Clark 001 (IEEE Trans. Autom. Control., 2020)

Sensor Placement for Optimal Control of Infinite-Dimensional Systems. - Qiqiang Hou; Andrew Clark 001 (IEEE Trans. Control. Netw. Syst., 2020)

Verification and Synthesis of Control Barrier Functions. - Andrew Clark 001 (CDC, 2021)

Safety-Critical Control Synthesis for Unknown Sampled-Data Systems via Control Barrier Functions. - Luyao Niu; Hongchao Zhang; Andrew Clark 001 (CDC, 2021)

Reinforcement Learning Beyond Expectation. - Bhaskar Ramasubramanian; Luyao Niu; Andrew Clark 001; Radha Poovendran (CDC, 2021)

Scalable Planning in Multi-Agent MDPs. - Dinuka Sahabandu; Luyao Niu; Andrew Clark 001; Radha Poovendran (CDC, 2021)

A Game-Theoretic Framework for Controlled Islanding in the Presence of Adversaries. - Luyao Niu; Dinuka Sahabandu; Andrew Clark 001; Radha Poovendran (GameSec, 2021)

Model-based Reinforcement Learning with Provable Safety Guarantees via Control Barrier Functions. - Hongchao Zhang; Zhouchi Li; Andrew Clark 001 (ICRA, 2021)

Control barrier functions for stochastic systems. - Andrew Clark 001 (Autom., 2021)

Robust Maximization of Correlated Submodular Functions Under Cardinality and Matroid Constraints. - Qiqiang Hou; Andrew Clark 001 (IEEE Trans. Autom. Control., 2021)

Optimal Minimum Violation Control Synthesis of Cyber-Physical Systems Under Attacks. - Luyao Niu; Jie Fu 002; Andrew Clark 001 (IEEE Trans. Autom. Control., 2021)

Secure Control in Partially Observable Environments to Satisfy LTL Specifications. - Bhaskar Ramasubramanian; Luyao Niu; Andrew Clark 001; Linda Bushnell; Radha Poovendran (IEEE Trans. Autom. Control., 2021)

A Differentially Private Incentive Design for Traffic Offload to Public Transportation. - Luyao Niu; Andrew Clark 001 (ACM Trans. Cyber Phys. Syst., 2021)

A Submodular Optimization Approach to Stable and Minimally Disruptive Controlled Islanding in Power Systems. - Dinuka Sahabandu; Luyao Niu; Andrew Clark 001; Radha Poovendran (ACC, 2022)

A Compositional Approach to Safety-Critical Resilient Control for Systems with Coupled Dynamics. - Abdullah Al Maruf; Luyao Niu; Andrew Clark 001; J. Sukarno Mertoguno; Radha Poovendran (CDC, 2022)

Abstraction-Free Control Synthesis to Satisfy Temporal Logic Constraints under Sensor Faults and Attacks. - Luyao Niu; Zhouchi Li; Andrew Clark 001 (CDC, 2022)

An Analytical Framework for Control Synthesis of Cyber-Physical Systems with Safety Guarantee. - Luyao Niu; Abdullah Al Maruf; Andrew Clark 001; J. Sukarno Mertoguno; Radha Poovendran (CDC, 2022)

Barrier Certificate based Safe Control for LiDAR-based Systems under Sensor Faults and Attacks. - Hongchao Zhang; Shiyu Cheng; Luyao Niu; Andrew Clark 001 (CDC, 2022)

Verifying Safety for Resilient Cyber-Physical Systems via Reactive Software Restart. - Luyao Niu; Dinuka Sahabandu; Andrew Clark 001; Radha Poovendran (ICCPS, 2022)

A Hybrid Submodular Optimization Approach to Controlled Islanding with Heterogeneous Loads. - Dinuka Sahabandu; Luyao Niu; Andrew Clark 001; Radha Poovendran (SmartGridComm, 2022)

Safe Control for Nonlinear Systems under Faults and Attacks via Control Barrier Functions. - Hongchao Zhang; Zhouchi Li; Andrew Clark 001 (CoRR, 2022)

Preface to the Special Issue on Privacy and Security for Internet of Things. - Rutvij H. Jhaveri; G. Thippa Reddy; Andrew Clark 001 (Int. J. Wirel. Inf. Networks, 2022)

POSTER: A Common Framework for Resilient and Safe Cyber-Physical System Design. - Luyao Niu; Abdullah Al Maruf; Andrew Clark 001; J. Sukarno Mertoguno; Radha Poovendran (AsiaCCS, 2023)

Cognitive Bias-Aware Dissemination Strategies for Opinion Dynamics with External Information Sources. - Abdullah Al Maruf; Luyao Niu; Bhaskar Ramasubramanian; Andrew Clark 001; Radha Poovendran (AAMAS, 2023)

A Submodular Energy Function Approach to Controlled Islanding with Provable Stability. - Shiyu Cheng; Luyao Niu; Andrew Clark 001; Radha Poovendran (CDC, 2023)

Necessary and Sufficient Conditions for Satisfying Linear Temporal Logic Constraints Using Control Barrier Certificates. - Luyao Niu; Andrew Clark 001; Radha Poovendran (CDC, 2023)

A Compositional Resilience Index for Computationally Efficient Safety Analysis of Interconnected Systems. - Luyao Niu; Abdullah Al Maruf; Andrew Clark 001; J. Sukarno Mertoguno; Radha Poovendran (CDC, 2023)

Efficient Sum of Squares-Based Verification and Construction of Control Barrier Functions by Sampling on Algebraic Varieties. - Hongchao Zhang; Zhouchi Li; Hongkai Dai; Andrew Clark 001 (CDC, 2023)

Learning Dissemination Strategies for External Sources in Opinion Dynamic Models with Cognitive Biases. - Abdullah Al Maruf; Luyao Niu; Bhaskar Ramasubramanian; Andrew Clark 001; Radha Poovendran (IJCAI, 2023)

Neural Lyapunov Control for Discrete-Time Systems. - Junlin Wu 001; Andrew Clark 001; Yiannis Kantaros; Yevgeniy Vorobeychik (NeurIPS, 2023)

Exact Verification of ReLU Neural Control Barrier Functions. - Hongchao Zhang; Junlin Wu 001; Yevgeniy Vorobeychik; Andrew Clark 001 (NeurIPS, 2023)

Cooperative Perception for Safe Control of Autonomous Vehicles under LiDAR Spoofing Attacks. - Hongchao Zhang; Zhouchi Li; Shiyu Cheng; Andrew Clark 001 (CoRR, 2023)

A Hybrid Submodular Optimization Approach to Controlled Islanding with Post-Disturbance Stability Guarantees. - Luyao Niu; Dinuka Sahabandu; Andrew Clark 001; Radha Poovendran (CoRR, 2023)

System Information Decomposition. - Aobo Lyu; Bing Yuan; Ou Deng; Mingzhe Yang; Andrew Clark 001; Jiang Zhang (CoRR, 2023)

Robust Satisfaction of Metric Interval Temporal Logic Objectives in Adversarial Environments. - Luyao Niu; Bhaskar Ramasubramanian; Andrew Clark 001; Radha Poovendran (Games, 2023)

LQG Reference Tracking With Safety and Reachability Guarantees Under Unknown False Data Injection Attacks. - Zhouchi Li; Luyao Niu; Andrew Clark 001 (IEEE Trans. Autom. Control., 2023)

A Timing-Based Framework for Designing Resilient Cyber-Physical Systems under Safety Constraint. - Abdullah Al Maruf; Luyao Niu; Andrew Clark 001; J. Sukarno Mertoguno; Radha Poovendran (ACM Trans. Cyber Phys. Syst., 2023)

A Submodular Approach to Controlled Islanding for Multi-Agent Network Stability. - Shiyu Cheng; Andrew Clark 001 (ACC, 2024)

Risk-Aware Distributed Multi-Agent Reinforcement Learning. - Abdullah Al Maruf; Luyao Niu; Bhaskar Ramasubramanian; Andrew Clark 001; Radha Poovendran (ACC, 2024)

Verification and Synthesis of Compatible Control Lyapunov and Control Barrier Functions. - Hongkai Dai; Chuanrui Jiang; Hongchao Zhang; Andrew Clark 001 (CDC, 2024)

Sampling and Quantization-Aware Control Barrier Functions for Safety-Critical Control of Cyber-Physical Systems. - Luyao Niu; Bhaskar Ramasubramanian; Andrew Clark 001; Radha Poovendran (CDC, 2024)

Learning a Formally Verified Control Barrier Function in Stochastic Environment. - Manan Tayal; Hongchao Zhang; Pushpak Jagtap; Andrew Clark 001; Shishir Kolathaya (CDC, 2024)

Who is Responsible? Explaining Safety Violations in Multi-Agent Cyber-Physical Systems. - Luyao Niu; Hongchao Zhang; Dinuka Sahabandu; Bhaskar Ramasubramanian; Andrew Clark 001; Radha Poovendran (ICAA, 2024)

Fault Tolerant Neural Control Barrier Functions for Robotic Systems under Sensor Faults and Attacks. - Hongchao Zhang; Luyao Niu; Andrew Clark 001; Radha Poovendran (ICRA, 2024)

Explicit Formula for Partial Information Decomposition. - Aobo Lyu; Andrew Clark 001; Netanel Raviv (ISIT, 2024)

SEEV: Synthesis with Efficient Exact Verification for ReLU Neural Barrier Functions. - Hongchao Zhang; Zhizhen Qin; Sicun Gao; Andrew Clark 001 (NeurIPS, 2024)

Modeling and Designing Non-Pharmaceutical Interventions in Epidemics: A Submodular Approach. - Shiyu Cheng; Luyao Niu; Bhaskar Ramasubramanian; Andrew Clark 001; Radha Poovendran (IEEE Control. Syst. Lett., 2024)

Dynamic Information Flow Tracking for Detection of Advanced Persistent Threats: A Stochastic Game Approach. - Shana Moothedath; Dinuka Sahabandu; Joey Allen; Andrew Clark 001; Linda Bushnell; Wenke Lee; Radha Poovendran (IEEE Trans. Autom. Control., 2024)

Integrated Real-Time Control and Scheduling for Safety Critical Cyber-Physical Systems. - Marion Sudvarg; Andrew Clark 001; Chris Gill 001 (RTAS, 2025)

A Semialgebraic Framework for Verification and Synthesis of Control Barrier Functions. - Andrew Clark 001 (IEEE Trans. Autom. Control., 2025)

Swarm-STL: A Framework for Motion Planning in Large-Scale, Multi-Swarm Systems. - Shiyu Cheng; Luyao Niu; Bhaskar Ramasubramanian; Andrew Clark 001; Radha Poovendran (CoRR, 2025)

Stochastic Neural Control Barrier Functions. - Hongchao Zhang; Manan Tayal; Jackson Cox; Pushpak Jagtap; Shishir Kolathaya; Andrew Clark 001 (CoRR, 2025)