Clark, Andrew

4 publications

NeurIPS 2024 SEEV: Synthesis with Efficient Exact Verification for ReLU Neural Barrier Functions Hongchao Zhang, Zhizhen Qin, Sicun Gao, Andrew Clark

NeurIPS 2023 Exact Verification of ReLU Neural Control Barrier Functions Hongchao Zhang, Junlin Wu, Yevgeniy Vorobeychik, Andrew Clark

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

NeurIPS 2023 Neural Lyapunov Control for Discrete-Time Systems Junlin Wu, Andrew Clark, Yiannis Kantaros, Yevgeniy Vorobeychik