| Reluplex: An efficient SMT solver for verifying deep neural networks G Katz, C Barrett, DL Dill, K Julian, MJ Kochenderfer Computer Aided Verification: 29th International Conference, CAV 2017 …, 2017 | 2426 | 2017 |
| Cooperative multi-agent control using deep reinforcement learning JK Gupta, M Egorov, M Kochenderfer Autonomous Agents and Multiagent Systems: AAMAS 2017 Workshops, Best Papers …, 2017 | 1288 | 2017 |
| Decision making under uncertainty: theory and application MJ Kochenderfer MIT Press, 2015 | 844 | 2015 |
| Algorithms for Optimization MJ Kochenderfer, TA Wheeler MIT Press, 2019 | 836 | 2019 |
| 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, ... Computer Aided Verification: 31st International Conference, CAV 2019, New …, 2019 | 704 | 2019 |
| Imitating driver behavior with generative adversarial networks A Kuefler, J Morton, T Wheeler, M Kochenderfer 2017 IEEE intelligent vehicles symposium (IV), 204-211, 2017 | 569 | 2017 |
| Algorithms for verifying deep neural networks C Liu, T Arnon, C Lazarus, C Barrett, MJ Kochenderfer arXiv preprint arXiv:1903.06758, 2019 | 480 | 2019 |
| Policy compression for aircraft collision avoidance systems KD Julian, J Lopez, JS Brush, MP Owen, MJ Kochenderfer 2016 IEEE/AIAA 35th Digital Avionics Systems Conference (DASC), 1-10, 2016 | 320 | 2016 |
| Online algorithms for POMDPs with continuous state, action, and observation spaces Z Sunberg, M Kochenderfer Proceedings of the International Conference on Automated Planning and …, 2018 | 312 | 2018 |
| Analysis of recurrent neural networks for probabilistic modeling of driver behavior J Morton, TA Wheeler, MJ Kochenderfer IEEE Transactions on Intelligent Transportation Systems 18 (5), 1289-1298, 2016 | 310 | 2016 |
| Next-generation airborne collision avoidance system MJ Kochenderfer, JE Holland, JP Chryssanthacopoulos Lincoln Laboratory Journal 19 (1), 17-33, 2012 | 303 | 2012 |
| Combining planning and deep reinforcement learning in tactical decision making for autonomous driving CJ Hoel, K Driggs-Campbell, K Wolff, L Laine, MJ Kochenderfer IEEE transactions on intelligent vehicles 5 (2), 294-305, 2019 | 299 | 2019 |
| Learning near optimal policies with low inherent bellman error A Zanette, A Lazaric, M Kochenderfer, E Brunskill International Conference on Machine Learning, 10978-10989, 2020 | 260 | 2020 |
| Generalizable intention prediction of human drivers at intersections DJ Phillips, TA Wheeler, MJ Kochenderfer 2017 IEEE intelligent vehicles symposium (IV), 1665-1670, 2017 | 250 | 2017 |
| Algorithms for decision making MJ Kochenderfer, TA Wheeler, KH Wray MIT press, 2022 | 243 | 2022 |
| Adaptive stress testing for autonomous vehicles M Koren, S Alsaif, R Lee, MJ Kochenderfer 2018 IEEE Intelligent Vehicles Symposium (IV), 1-7, 2018 | 239 | 2018 |
| Hg-dagger: Interactive imitation learning with human experts M Kelly, C Sidrane, K Driggs-Campbell, MJ Kochenderfer 2019 International Conference on Robotics and Automation (ICRA), 8077-8083, 2019 | 235 | 2019 |
| Deep neural network compression for aircraft collision avoidance systems KD Julian, MJ Kochenderfer, MP Owen Journal of Guidance, Control, and Dynamics 42 (3), 598-608, 2019 | 230 | 2019 |
| Handling missing data with graph representation learning J You, X Ma, Y Ding, MJ Kochenderfer, J Leskovec Advances in Neural Information Processing Systems 33, 19075-19087, 2020 | 226 | 2020 |
| A survey of algorithms for black-box safety validation of cyber-physical systems A Corso, R Moss, M Koren, R Lee, M Kochenderfer Journal of Artificial Intelligence Research 72, 377–428-377–428, 2021 | 224 | 2021 |
Kyle David JulianReceived Ph.D. at Stanford University確認したメール アドレス: stanford.edu
