Mykel J. Kochenderfer
Mykel J. Kochenderfer
Associate Professor, Stanford University
Bestätigte E-Mail-Adresse bei stanford.edu - Startseite
Titel
Zitiert von
Zitiert von
Jahr
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
8172017
Decision making under uncertainty: theory and application
MJ Kochenderfer
MIT Press, 2015
4092015
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
3572017
Imitating driver behavior with generative adversarial networks
A Kuefler, J Morton, T Wheeler, M Kochenderfer
2017 IEEE Intelligent Vehicles Symposium (IV), 204-211, 2017
2192017
Next-generation airborne collision avoidance system
MJ Kochenderfer, JE Holland, JP Chryssanthacopoulos
Massachusetts Institute of Technology-Lincoln Laboratory Lexington United States, 2012
1682012
Common sense data acquisition for indoor mobile robots
R Gupta, MJ Kochenderfer
AAAI, 605-610, 2004
1522004
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
1412016
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
1392010
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
1382010
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
1232016
Robust airborne collision avoidance through dynamic programming
MJ Kochenderfer, JP Chryssanthacopoulos
Massachusetts Institute of Technology, Lincoln Laboratory, Project Report, 2011
1182011
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
1022013
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
962012
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
952019
Algorithms for Optimization
MJ Kochenderfer, TA Wheeler
MIT Press, 2019
872019
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
852017
Generalizable intention prediction of human drivers at intersections
DJ Phillips, TA Wheeler, MJ Kochenderfer
2017 IEEE intelligent vehicles symposium (IV), 1665-1670, 2017
732017
Algorithms for verifying deep neural networks
C Liu, T Arnon, C Lazarus, C Barrett, MJ Kochenderfer
arXiv preprint arXiv:1903.06758, 2019
692019
POMDPs. jl: A framework for sequential decision making under uncertainty
M Egorov, ZN Sunberg, E Balaban, TA Wheeler, JK Gupta, ...
The Journal of Machine Learning Research 18 (1), 831-835, 2017
602017
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
592019
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20