Mykel J Kochenderfer

Mykel J Kochenderfer

Stanford University - Stanford / United States
Engineering & Technology / Computer Science
AD Scientific Index ID: 1650718
person_outline Mykel J Kochenderfer's MOST POPULAR ARTICLES
1-) Reluplex: An efficient SMT solver for verifying deep neural networksG Katz, C Barrett, DL Dill, K Julian, MJ KochenderferInternational conference on computer aided verification, 97-117, 201714842017
2-) Cooperative multi-agent control using deep reinforcement learningJK Gupta, M Egorov, M KochenderferInternational conference on autonomous agents and multiagent systems, 66-83, 20177192017
3-) Decision making under uncertainty: theory and applicationMJ KochenderferMIT Press, 20156022015
4-) Algorithms for OptimizationMJ Kochenderfer, TA WheelerMIT Press, 20198052019
5-) The marabou framework for verification and analysis of deep neural networksG Katz, DA Huang, D Ibeling, K Julian, C Lazarus, R Lim, P Shah, ...Computer Aided Verification: 31st International Conference, CAV 2019, New …, 20196762019