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
3822017
Decision making under uncertainty: theory and application
MJ Kochenderfer
MIT Press, 2015
2362015
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
1532017
Common sense data acquisition for indoor mobile robots
R Gupta, MJ Kochenderfer
AAAI, 605-610, 2004
1352004
Airspace encounter models for estimating collision risk
MJ Kochenderfer, MW M. Edwards, LP Espindle, JK Kuchar, JD Griffith
Journal of Guidance, Control, and Dynamics 33 (2), 487-499, 2010
1152010
Next-generation airborne collision avoidance system
MJ Kochenderfer, JE Holland, JP Chryssanthacopoulos
Massachusetts Institute of Technology-Lincoln Laboratory Lexington United States, 2012
1142012
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
1082010
Imitating driver behavior with generative adversarial networks
A Kuefler, J Morton, T Wheeler, M Kochenderfer
2017 IEEE Intelligent Vehicles Symposium (IV), 204-211, 2017
982017
Robust airborne collision avoidance through dynamic programming
MJ Kochenderfer, JP Chryssanthacopoulos
Massachusetts Institute of Technology, Lincoln Laboratory, Project Report, 2011
882011
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
842016
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
732013
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
562016
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
482011
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
472017
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
372013
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
Generalizable intention prediction of human drivers at intersections
DJ Phillips, TA Wheeler, MJ Kochenderfer
2017 IEEE Intelligent Vehicles Symposium (IV), 1665-1670, 2017
332017
The system can't perform the operation now. Try again later.
Articles 1–20