Follow
Mykel J. Kochenderfer
Mykel J. Kochenderfer
Associate Professor, Stanford University
Verified email at stanford.edu - Homepage
Title
Cited by
Cited by
Year
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
21552017
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
10842017
Decision making under uncertainty: theory and application
MJ Kochenderfer
MIT Press, 2015
7652015
Algorithms for Optimization
MJ Kochenderfer, TA Wheeler
MIT Press, 2019
6542019
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
5882019
Imitating driver behavior with generative adversarial networks
A Kuefler, J Morton, T Wheeler, M Kochenderfer
2017 IEEE intelligent vehicles symposium (IV), 204-211, 2017
5152017
Algorithms for verifying deep neural networks
C Liu, T Arnon, C Lazarus, C Barrett, MJ Kochenderfer
arXiv preprint arXiv:1903.06758, 2019
4152019
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
2952016
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
2772016
Next generation airborne collision avoidance system
MJ Kochenderfer, JE Holland, JP Chryssanthacopoulos
Lincoln Laboratory Journal 19 (1), 17-33, 2012
2712012
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
2502019
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
2392018
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
2212020
Generalizable intention prediction of human drivers at intersections
DJ Phillips, TA Wheeler, MJ Kochenderfer
2017 IEEE intelligent vehicles symposium (IV), 1665-1670, 2017
2142017
Adaptive stress testing for autonomous vehicles
M Koren, S Alsaif, R Lee, MJ Kochenderfer
2018 IEEE Intelligent Vehicles Symposium (IV), 1-7, 2018
2102018
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
2022019
Collision avoidance for unmanned aircraft using Markov decision processes
S Temizer, M Kochenderfer, L Kaelbling, T Lozano-Pérez, J Kuchar
AIAA guidance, navigation, and control conference, 8040, 2010
1912010
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
1752021
Airspace encounter models for estimating collision risk
MJ Kochenderfer, MWM Edwards, LP Espindle, JK Kuchar, JD Griffith
Journal of Guidance, Control, and Dynamics 33 (2), 487-499, 2010
1732010
Deep dynamical modeling and control of unsteady fluid flows
J Morton, A Jameson, MJ Kochenderfer, F Witherden
Advances in Neural Information Processing Systems 31, 2018
1722018
The system can't perform the operation now. Try again later.
Articles 1–20