All Publications


  • Distributed Wildfire Surveillance with Autonomous Aircraft Using Deep Reinforcement Learning Julian, K. D., Kochenderfer, M. J. AMER INST AERONAUTICS ASTRONAUTICS. 2019: 1768–78

    View details for DOI 10.2514/1.G004106

    View details for Web of Science ID 000475935900009

  • Decomposition methods with deep corrections for reinforcement learning AUTONOMOUS AGENTS AND MULTI-AGENT SYSTEMS Bouton, M., Julian, K. D., Nakhaei, A., Fujimura, K., Kochenderfer, M. J. 2019; 33 (3): 330–52
  • Deep Neural Network Compression for Aircraft Collision Avoidance Systems JOURNAL OF GUIDANCE CONTROL AND DYNAMICS Julian, K. D., Kochenderfer, M. J., Owen, M. P. 2019; 42 (3): 598–608

    View details for DOI 10.2514/1.G003724

    View details for Web of Science ID 000458906300011

  • 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
  • Utility Decomposition with Deep Corrections for Scalable Planning under Uncertainty Bouton, M., Julian, K., Nakhaei, A., Fujimura, K., Kochenderfer, M. J., ACM ASSOC COMPUTING MACHINERY. 2018: 462–69
  • Towards Proving the Adversarial Robustness of Deep Neural Networks ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE Katz, G., Barrett, C., Dill, D. L., Julian, K., Kochenderfer, M. J. 2017: 19–26
  • Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks Katz, G., Barrett, C., Dill, D. L., Julian, K., Kochenderfer, M. J., Majumdar, R., Kuncak SPRINGER INTERNATIONAL PUBLISHING AG. 2017: 97–117
  • Policy Compression for Aircraft Collision Avoidance Systems IEEE/AIAA Digital Avionics Systems Conference (DASC) Julian, K. D., Lopez, J., Brush, J. S., Owen, M. P., Kochenderfer, M. J. 2016