Seguir
Mykel J. Kochenderfer
Mykel J. Kochenderfer
Associate Professor, Stanford University
Email confirmado em stanford.edu - Página inicial
Título
Citado por
Citado por
Ano
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
24332017
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
12922017
Decision making under uncertainty: theory and application
MJ Kochenderfer
MIT Press, 2015
8502015
Algorithms for Optimization
MJ Kochenderfer, TA Wheeler
MIT Press, 2019
8452019
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
7082019
Imitating driver behavior with generative adversarial networks
A Kuefler, J Morton, T Wheeler, M Kochenderfer
2017 IEEE intelligent vehicles symposium (IV), 204-211, 2017
5712017
Algorithms for verifying deep neural networks
C Liu, T Arnon, C Lazarus, C Barrett, MJ Kochenderfer
arXiv preprint arXiv:1903.06758, 2019
4802019
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
3212016
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
3122018
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
3112016
Next-generation airborne collision avoidance system
MJ Kochenderfer, JE Holland, JP Chryssanthacopoulos
Lincoln Laboratory Journal 19 (1), 17-33, 2012
3042012
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
3002019
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
2612020
Generalizable intention prediction of human drivers at intersections
DJ Phillips, TA Wheeler, MJ Kochenderfer
2017 IEEE intelligent vehicles symposium (IV), 1665-1670, 2017
2502017
Algorithms for decision making
MJ Kochenderfer, TA Wheeler, KH Wray
MIT press, 2022
2452022
Adaptive stress testing for autonomous vehicles
M Koren, S Alsaif, R Lee, MJ Kochenderfer
2018 IEEE Intelligent Vehicles Symposium (IV), 1-7, 2018
2432018
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
2392019
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
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
2272020
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
2252021
O sistema não pode efectuar a operação agora. Tente mais tarde.
Artigos 1–20