Spremljaj
Mykel J. Kochenderfer
Mykel J. Kochenderfer
Associate Professor, Stanford University
Preverjeni e-poštni naslov na stanford.edu - Domača stran
Naslov
Navedeno
Navedeno
Leto
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
24262017
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
12882017
Decision making under uncertainty: theory and application
MJ Kochenderfer
MIT Press, 2015
8472015
Algorithms for Optimization
MJ Kochenderfer, TA Wheeler
MIT Press, 2019
8362019
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
7062019
Imitating driver behavior with generative adversarial networks
A Kuefler, J Morton, T Wheeler, M Kochenderfer
2017 IEEE intelligent vehicles symposium (IV), 204-211, 2017
5702017
Algorithms for verifying deep neural networks
C Liu, T Arnon, C Lazarus, C Barrett, MJ Kochenderfer
arXiv preprint arXiv:1903.06758, 2019
4802019
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
3202016
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
3122018
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
3102016
Next-generation airborne collision avoidance system
MJ Kochenderfer, JE Holland, JP Chryssanthacopoulos
Lincoln Laboratory Journal 19 (1), 17-33, 2012
3032012
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
2992019
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
2602020
Generalizable intention prediction of human drivers at intersections
DJ Phillips, TA Wheeler, MJ Kochenderfer
2017 IEEE intelligent vehicles symposium (IV), 1665-1670, 2017
2502017
Algorithms for decision making
MJ Kochenderfer, TA Wheeler, KH Wray
MIT press, 2022
2432022
Adaptive stress testing for autonomous vehicles
M Koren, S Alsaif, R Lee, MJ Kochenderfer
2018 IEEE Intelligent Vehicles Symposium (IV), 1-7, 2018
2402018
Hg-dagger: Interactive imitation learning with human experts
M Kelly, C Sidrane, K Driggs-Campbell, MJ Kochenderfer
2019 International Conference on Robotics and Automation (ICRA), 8077-8083, 2019
2362019
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
2302019
Handling missing data with graph representation learning
J You, X Ma, Y Ding, MJ Kochenderfer, J Leskovec
Advances in Neural Information Processing Systems 33, 19075-19087, 2020
2262020
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
2242021
Sistem trenutno ne more izvesti postopka. Poskusite znova pozneje.
Članki 1–20