Mykel J. Kochenderfer
Mykel J. Kochenderfer
Assistant Professor, Stanford University
Verified email at stanford.edu - Homepage
TitleCited byYear
Reluplex: An efficient SMT solver for verifying deep neural networks
G Katz, C Barrett, DL Dill, K Julian, MJ Kochenderfer
International Conference on Computer Aided Verification, 97-117, 2017
4412017
Decision making under uncertainty: theory and application
MJ Kochenderfer
MIT Press, 2015
2592015
Cooperative multi-agent control using deep reinforcement learning
JK Gupta, M Egorov, M Kochenderfer
International Conference on Autonomous Agents and Multiagent Systems, 66-83, 2017
1702017
Common sense data acquisition for indoor mobile robots
R Gupta, MJ Kochenderfer
AAAI, 605-610, 2004
1392004
Next-generation airborne collision avoidance system
MJ Kochenderfer, JE Holland, JP Chryssanthacopoulos
Massachusetts Institute of Technology-Lincoln Laboratory Lexington United States, 2012
1222012
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
1142010
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
1122010
Imitating driver behavior with generative adversarial networks
A Kuefler, J Morton, T Wheeler, M Kochenderfer
2017 IEEE Intelligent Vehicles Symposium (IV), 204-211, 2017
1102017
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
992016
Robust airborne collision avoidance through dynamic programming
MJ Kochenderfer, JP Chryssanthacopoulos
Massachusetts Institute of Technology, Lincoln Laboratory, Project Report, 2011
912011
Unmanned aircraft collision avoidance using continuous-state POMDPs
H Bai, D Hsu, MJ Kochenderfer, WS Lee
Robotics: Science and Systems VII 1, 1-8, 2012
792012
Decentralized control of partially observable Markov decision processes
C Amato, G Chowdhary, A Geramifard, NK Üre, MJ Kochenderfer
52nd IEEE Conference on Decision and Control, 2398-2405, 2013
772013
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
672016
Towards proving the adversarial robustness of deep neural networks
G Katz, C Barrett, DL Dill, K Julian, MJ Kochenderfer
arXiv preprint arXiv:1709.02802, 2017
532017
Accounting for state uncertainty in collision avoidance
JP Chryssanthacopoulos, MJ Kochenderfer
Journal of Guidance, Control, and Dynamics 34 (4), 951-960, 2011
512011
Aircraft collision avoidance using Monte Carlo real-time belief space search
TB Wolf, MJ Kochenderfer
Journal of Intelligent & Robotic Systems 64 (2), 277-298, 2011
492011
Generalizable intention prediction of human drivers at intersections
DJ Phillips, TA Wheeler, MJ Kochenderfer
2017 IEEE Intelligent Vehicles Symposium (IV), 1665-1670, 2017
432017
Optimizing the next generation collision avoidance system for safe, suitable, and acceptable operational performance
JE Holland, MJ Kochenderfer, WA Olson
Air Traffic Control Quarterly 21 (3), 275-297, 2013
412013
A comprehensive aircraft encounter model of the national airspace system
MJ Kochenderfer, LP Espindle, JK Kuchar, JD Griffith
Lincoln Laboratory Journal 17 (2), 41-53, 2008
372008
Uncorrelated Encounter Model of the National Airspace System, Version 1.0
MJ Kochenderfer, JK Kuchar, LP Espindle, JD Griffith
MASSACHUSETTS INST OF TECH LEXINGTON LINCOLN LAB, 2008
362008
The system can't perform the operation now. Try again later.
Articles 1–20