Pareto-Dominance Based MOGP for Evolving Soccer Agents. - Christopher Lazarus (SSCI, 2015)

The Marabou Framework for Verification and Analysis of Deep Neural Networks. - Guy Katz; Derek A. Huang; Duligur Ibeling; Kyle Julian; Christopher Lazarus; Rachel Lim; Parth Shah 003; Shantanu Thakoor; Haoze Wu 001; Aleksandar Zeljic; David L. Dill; Mykel J. Kochenderfer; et al. (CAV (1), 2019)

Algorithms for Verifying Deep Neural Networks. - Changliu Liu; Tomer Arnon; Christopher Lazarus; Clark W. Barrett; Mykel J. Kochenderfer (CoRR, 2019)

Runtime Safety Assurance Using Reinforcement Learning. - Christopher Lazarus; James G. Lopez; Mykel J. Kochenderfer (CoRR, 2020)

A Mixed Integer Programming Approach for Verifying Properties of Binarized Neural Networks. - Christopher Lazarus; Mykel J. Kochenderfer (AISafety@IJCAI, 2021)

Algorithms for Verifying Deep Neural Networks. - Changliu Liu; Tomer Arnon; Christopher Lazarus; Christopher A. Strong; Clark W. Barrett; Mykel J. Kochenderfer (Found. Trends Optim., 2021)

Deep Binary Reinforcement Learning for Scalable Verification. - Christopher Lazarus; Mykel J. Kochenderfer (CoRR, 2022)