Follow
Christopher Lazarus
Title
Cited by
Cited by
Year
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
2452019
Algorithms for Verifying Deep Neural Networks
C Liu, T Arnon, C Lazarus, C Barrett, MJ Kochenderfer
arXiv preprint arXiv:1903.06758, 2019
1882019
Runtime safety assurance using reinforcement learning
C Lazarus, JG Lopez, MJ Kochenderfer
2020 AIAA/IEEE 39th Digital Avionics Systems Conference (DASC), 1-9, 2020
62020
Algorithms for verifying deep neural networks (2019)
C Liu, T Arnon, C Lazarus, C Barrett, MJ Kochenderfer
arXiv preprint arxiv:1903.06758, 2019
52019
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
12021
Deep Binary Reinforcement Learning for Scalable Verification
C Lazarus, MJ Kochenderfer
arXiv preprint arXiv:2203.05704, 2022
2022
The system can't perform the operation now. Try again later.
Articles 1–7