Honors & Awards


  • Scholar, Fulbright

All Publications


  • Runtime Safety Assurance Using Reinforcement Learning Lazarus, C., Lopez, J. G., Kochenderfer, M. J., IEEE IEEE. 2020
  • The Marabou Framework for Verification and Analysis of Deep Neural Networks Katz, G., Huang, D. A., Ibeling, D., Julian, K., Lazarus, C., Lim, R., Shah, P., Thakoor, S., Wu, H., Zeljic, A., Dill, D. L., Kochenderfer, M. J., Barrett, C., Dillig, Tasiran, S. SPRINGER INTERNATIONAL PUBLISHING AG. 2019: 443–52