| The marabou framework for verification and analysis of deep neural networks G Katz, DA Huang, D Ibeling, K Julian, C Lazarus, R Lim, P Shah, ... International Conference on Computer Aided Verification, 443-452, 2019 | 245 | 2019 |
| Algorithms for Verifying Deep Neural Networks C Liu, T Arnon, C Lazarus, C Barrett, MJ Kochenderfer arXiv preprint arXiv:1903.06758, 2019 | 188 | 2019 |
| Runtime safety assurance using reinforcement learning C Lazarus, JG Lopez, MJ Kochenderfer 2020 AIAA/IEEE 39th Digital Avionics Systems Conference (DASC), 1-9, 2020 | 6 | 2020 |
| Algorithms for verifying deep neural networks (2019) C Liu, T Arnon, C Lazarus, C Barrett, MJ Kochenderfer arXiv preprint arxiv:1903.06758, 2019 | 5 | 2019 |
| NeuralVerification.jl: Algorithms for Verifying Deep Neural Networks C Liu, T Arnon, C Lazarus, MJ Kochenderfer | 2* | |
| A Mixed Integer Programming Approach for Verifying Properties of Binarized Neural Networks C Lazarus, MJ Kochenderfer International Joint Conference on Artificial Intelligence (IJCAI), AI Safety …, 2021 | 1 | 2021 |
| Deep Binary Reinforcement Learning for Scalable Verification C Lazarus, MJ Kochenderfer arXiv preprint arXiv:2203.05704, 2022 | | 2022 |
Mykel J. KochenderferAssociate Professor, Stanford UniversityVerified email at stanford.edu
