User profiles for Mykel Kochenderfer
Mykel J. KochenderferAssociate 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 …
covering both theory and applications ranging from speech recognition to airborne collision …
Cooperative multi-agent control using deep reinforcement learning
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 …
domains without explicit communication. We extend three classes of single-agent deep …
Deep neural network compression for aircraft collision avoidance systems
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 …
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
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 …
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
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. …
there is a pressing need for tools and techniques for network analysis and certification. …
Reluplex: An efficient SMT solver for verifying deep neural networks
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 …
complex, real-world problems. However, a major obstacle in applying them to safety-critical …
Handling missing data with graph representation learning
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 …
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 …
design of engineering systems. This book offers a comprehensive introduction to optimization …
Collision avoidance for unmanned aircraft using Markov decision processes
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 …
systems must be developed. Instead of hand-crafting a collision avoidance algorithm for …
Algorithms for verifying deep neural networks
Deep neural networks are widely used for nonlinear function approximation, with applications
ranging from computer vision to control. Although these networks involve the composition …
ranging from computer vision to control. Although these networks involve the composition …