User profiles for Mykel Kochenderfer

Mykel J. Kochenderfer

Associate Professor, Stanford University
Verified email at stanford.edu
Cited by 17660

[BOOK][B] Decision making under uncertainty: theory and application

MJ Kochenderfer - 2015 - books.google.com
An introduction to decision making under uncertainty from a computational perspective,
covering both theory and applications ranging from speech recognition to airborne collision …

Cooperative multi-agent control using deep reinforcement learning

JK Gupta, M Egorov, M Kochenderfer - … Best Papers, São Paulo, Brazil, May …, 2017 - Springer
This work considers the problem of learning cooperative policies in complex, partially observable
domains without explicit communication. We extend three classes of single-agent deep …

Deep neural network compression for aircraft collision avoidance systems

KD Julian, MJ Kochenderfer, MP Owen - Journal of Guidance, Control …, 2019 - arc.aiaa.org
One approach to designing decision-making logic for an aircraft collision avoidance system
frames the problem as a Markov decision process and optimizes the system using dynamic …

Combining planning and deep reinforcement learning in tactical decision making for autonomous driving

…, K Wolff, L Laine, MJ Kochenderfer - IEEE transactions on …, 2019 - ieeexplore.ieee.org
Tactical decision making for autonomous driving is challenging due to the diversity of
environments, the uncertainty in the sensor information, and the complex interaction with other …

[HTML][HTML] The marabou framework for verification and analysis of deep neural networks

…, H Wu, A Zeljić, DL Dill, MJ Kochenderfer… - … Aided Verification: 31st …, 2019 - Springer
Deep neural networks are revolutionizing the way complex systems are designed. Consequently,
there is a pressing need for tools and techniques for network analysis and certification. …

Reluplex: An efficient SMT solver for verifying deep neural networks

…, C Barrett, DL Dill, K Julian, MJ Kochenderfer - … Aided Verification: 29th …, 2017 - Springer
Deep neural networks have emerged as a widely used and effective means for tackling
complex, real-world problems. However, a major obstacle in applying them to safety-critical …

Handling missing data with graph representation learning

…, X Ma, Y Ding, MJ Kochenderfer… - Advances in Neural …, 2020 - proceedings.neurips.cc
Abstract Machine learning with missing data has been approached in many different ways,
including feature imputation where missing feature values are estimated based on observed …

[BOOK][B] Algorithms for optimization

MJ Kochenderfer, TA Wheeler - 2019 - books.google.com
A comprehensive introduction to optimization with a focus on practical algorithms for the
design of engineering systems. This book offers a comprehensive introduction to optimization …

Collision avoidance for unmanned aircraft using Markov decision processes

S Temizer, M Kochenderfer, L Kaelbling… - … , navigation, and control …, 2010 - arc.aiaa.org
Before unmanned aircraft can fly safely in civil airspace, robust airborne collision avoidance
systems must be developed. Instead of hand-crafting a collision avoidance algorithm for …

Algorithms for verifying deep neural networks

…, C Strong, C Barrett, MJ Kochenderfer - … and Trends® in …, 2021 - nowpublishers.com
Deep neural networks are widely used for nonlinear function approximation, with applications
ranging from computer vision to control. Although these networks involve the composition …