متابعة
Mykel J. Kochenderfer
Mykel J. Kochenderfer
Associate Professor, Stanford University
بريد إلكتروني تم التحقق منه على stanford.edu - الصفحة الرئيسية
عنوان
عدد مرات الاقتباسات
عدد مرات الاقتباسات
السنة
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‏
24162017
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‏
12792017
Algorithms for Optimization‏
MJ Kochenderfer, TA Wheeler‏
MIT Press, 2019‏
8392019
Decision making under uncertainty: theory and application‏
MJ Kochenderfer‏
MIT Press, 2015‏
8392015
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‏
6932019
Imitating driver behavior with generative adversarial networks‏
A Kuefler, J Morton, T Wheeler, M Kochenderfer‏
2017 IEEE intelligent vehicles symposium (IV), 204-211, 2017‏
5622017
Algorithms for verifying deep neural networks‏
C Liu, T Arnon, C Lazarus, C Barrett, MJ Kochenderfer‏
arXiv preprint arXiv:1903.06758, 2019‏
4782019
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‏
3232016
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‏
3102016
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‏
3072018
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‏
3012019
Next generation airborne collision avoidance system‏
MJ Kochenderfer, JE Holland, JP Chryssanthacopoulos‏
Lincoln Laboratory Journal 19 (1), 17-33, 2012‏
2962012
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‏
2592020
Generalizable intention prediction of human drivers at intersections‏
DJ Phillips, TA Wheeler, MJ Kochenderfer‏
2017 IEEE intelligent vehicles symposium (IV), 1665-1670, 2017‏
2462017
Adaptive stress testing for autonomous vehicles‏
M Koren, S Alsaif, R Lee, MJ Kochenderfer‏
2018 IEEE Intelligent Vehicles Symposium (IV), 1-7, 2018‏
2422018
Algorithms for decision making‏
MJ Kochenderfer, TA Wheeler, KH Wray‏
MIT press, 2022‏
2362022
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‏
2312019
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‏
2242019
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‏
2182020
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‏
2162021
يتعذر على النظام إجراء العملية في الوقت الحالي. عاود المحاولة لاحقًا.
مقالات 1–20