Mykel J. Kochenderfer
Mykel J. Kochenderfer
Associate Professor, Stanford University
Verified email at - Homepage
Cited by
Cited by
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
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
Decision making under uncertainty: theory and application
MJ Kochenderfer
MIT Press, 2015
Imitating driver behavior with generative adversarial networks
A Kuefler, J Morton, T Wheeler, M Kochenderfer
2017 IEEE Intelligent Vehicles Symposium (IV), 204-211, 2017
Algorithms for Optimization
MJ Kochenderfer, TA Wheeler
MIT Press, 2019
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, ...
International Conference on Computer Aided Verification, 443-452, 2019
Next-generation airborne collision avoidance system
MJ Kochenderfer, JE Holland, JP Chryssanthacopoulos
Massachusetts Institute of Technology-Lincoln Laboratory Lexington United States, 2012
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
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
Algorithms for verifying deep neural networks
C Liu, T Arnon, C Lazarus, C Barrett, MJ Kochenderfer
arXiv preprint arXiv:1903.06758, 2019
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
Common sense data acquisition for indoor mobile robots
R Gupta, MJ Kochenderfer
AAAI, 605-610, 2004
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
Robust airborne collision avoidance through dynamic programming
MJ Kochenderfer, JP Chryssanthacopoulos
Massachusetts Institute of Technology, Lincoln Laboratory, Project Report, 2011
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
Generalizable intention prediction of human drivers at intersections
DJ Phillips, TA Wheeler, MJ Kochenderfer
2017 IEEE intelligent vehicles symposium (IV), 1665-1670, 2017
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
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
Online algorithms for POMDPs with continuous state, action, and observation spaces
ZN Sunberg, MJ Kochenderfer
Twenty-Eighth International Conference on Automated Planning and Scheduling, 2018
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
The system can't perform the operation now. Try again later.
Articles 1–20