Christopher Lazarus

4 papers and 111 indexed citations i.

Christopher Lazarus has authored 4 papers that have received a total of 111 indexed citations. This includes 3 papers in Artificial Intelligence, 2 papers in Computational Theory and Mathematics and 1 paper in Software. The topics of these papers are Adversarial Robustness in Machine Learning (2 papers), Software Testing and Debugging Techniques (1 paper) and Formal Methods in Verification (1 paper). Christopher Lazarus is often cited by papers focused on Adversarial Robustness in Machine Learning (2 papers), Software Testing and Debugging Techniques (1 paper) and Formal Methods in Verification (1 paper) and collaborates with scholars based in United States and Malaysia. Christopher Lazarus's co-authors include Mykel J. Kochenderfer, Changliu Liu and Clark Barrett and has published in prestigious journals such as and .