C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Andrew Clark
ORCID
Publication Activity (10 Years)
Years Active: 2023-2024
Publications (10 Years): 12
Top Topics
Temporal Logic
Min Cut
Safety Analysis
Sufficient Conditions
Top Venues
CDC
CoRR
NeurIPS
AsiaCCS
</>
Publications
</>
Aobo Lyu
,
Andrew Clark
,
Netanel Raviv
Explicit Formula for Partial Information Decomposition.
CoRR
(2024)
Luyao Niu
,
Bhaskar Ramasubramanian
,
Andrew Clark
,
Radha Poovendran
Robust Satisfaction of Metric Interval Temporal Logic Objectives in Adversarial Environments.
Games
14 (2) (2023)
Luyao Niu
,
Andrew Clark
,
Radha Poovendran
Necessary and Sufficient Conditions for Satisfying Linear Temporal Logic Constraints Using Control Barrier Certificates.
CDC
(2023)
Hongchao Zhang
,
Zhouchi Li
,
Hongkai Dai
,
Andrew Clark
Efficient Sum of Squares-Based Verification and Construction of Control Barrier Functions by Sampling on Algebraic Varieties.
CDC
(2023)
Hongchao Zhang
,
Junlin Wu
,
Yevgeniy Vorobeychik
,
Andrew Clark
Exact Verification of ReLU Neural Control Barrier Functions.
CoRR
(2023)
Luyao Niu
,
Abdullah Al Maruf
,
Andrew Clark
,
J. Sukarno Mertoguno
,
Radha Poovendran
A Compositional Resilience Index for Computationally Efficient Safety Analysis of Interconnected Systems.
CDC
(2023)
Junlin Wu
,
Andrew Clark
,
Yiannis Kantaros
,
Yevgeniy Vorobeychik
Neural Lyapunov Control for Discrete-Time Systems.
NeurIPS
(2023)
Shiyu Cheng
,
Luyao Niu
,
Andrew Clark
,
Radha Poovendran
A Submodular Energy Function Approach to Controlled Islanding with Provable Stability.
CDC
(2023)
Luyao Niu
,
Abdullah Al Maruf
,
Andrew Clark
,
J. Sukarno Mertoguno
,
Radha Poovendran
POSTER: A Common Framework for Resilient and Safe Cyber-Physical System Design.
AsiaCCS
(2023)
Abdullah Al Maruf
,
Luyao Niu
,
Bhaskar Ramasubramanian
,
Andrew Clark
,
Radha Poovendran
Learning Dissemination Strategies for External Sources in Opinion Dynamic Models with Cognitive Biases.
IJCAI
(2023)
Abdullah Al Maruf
,
Luyao Niu
,
Andrew Clark
,
J. Sukarno Mertoguno
,
Radha Poovendran
A Timing-Based Framework for Designing Resilient Cyber-Physical Systems under Safety Constraint.
ACM Trans. Cyber Phys. Syst.
7 (3) (2023)
Hongchao Zhang
,
Junlin Wu
,
Yevgeniy Vorobeychik
,
Andrew Clark
Exact Verification of ReLU Neural Control Barrier Functions.
NeurIPS
(2023)