Sotabase

Career

· Senior Fellow, Stanford Institute for Human-Centered Artificial Intelligence (HAI)2025–
· Editor In Chief, Journal of Artificial Intelligence Research2024–
· Associate Professor, Stanford University2020–
· Consultant, MIT Lincoln Laboratory2013–
· Director, Stanford Intelligent Systems Laboratory2013–
· Assistant Professor, Stanford University2013–2020
· Research Intern, Microsoft Research2006–2006
· Technical Staff, MIT Lincoln Laboratory2006–2013
· Consultant, Honda Research Institute USA, Inc.2003–2006
· Ph.D., Informatics, The University of Edinburgh2003–2006
· M.S., Computer Science, Stanford University2001–2003
· B.S., Computer Science, Stanford University1998–2003

Publications (297)

Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks
International Conference on Computer Aided Verification · 2017
2,016
cited
Cooperative Multi-agent Control Using Deep Reinforcement Learning
AAMAS Workshops · 2017
991
cited
The Marabou Framework for Verification and Analysis of Deep Neural Networks
International Conference on Computer Aided Verification · 2019
569
cited
Algorithms for Verifying Deep Neural Networks
Found. Trends Optim. · 2019
447
cited
Imitating driver behavior with generative adversarial networks
2017 IEEE Intelligent Vehicles Symposium (IV) · 2017
433
cited
Algorithms for Optimization
2019
384
cited
HG-DAgger: Interactive Imitation Learning with Human Experts
IEEE International Conference on Robotics and Automation · 2018
281
cited
Combining Planning and Deep Reinforcement Learning in Tactical Decision Making for Autonomous Driving
IEEE Transactions on Intelligent Vehicles · 2019
275
cited
Policy compression for aircraft collision avoidance systems
Symposium on Dependable Autonomic and Secure Computing · 2016
267
cited
Analysis of Recurrent Neural Networks for Probabilistic Modeling of Driver Behavior
IEEE transactions on intelligent transportation systems (Print) · 2017
243
cited
Handling Missing Data with Graph Representation Learning
Neural Information Processing Systems · 2020
235
cited
Personalizing exoskeleton assistance while walking in the real world
Nature · 2022
233
cited
Next-Generation Airborne Collision Avoidance System
2012
217
cited
Adaptive Stress Testing for Autonomous Vehicles
2018 IEEE Intelligent Vehicles Symposium (IV) · 2018
212
cited
Online Algorithms for POMDPs with Continuous State, Action, and Observation Spaces
International Conference on Automated Planning and Scheduling · 2017
210
cited
A Survey of Algorithms for Black-Box Safety Validation
Journal of Artificial Intelligence Research · 2020
197
cited
Deep Neural Network Compression for Aircraft Collision Avoidance Systems
Journal of Guidance Control and Dynamics · 2018
188
cited
Deep Dynamical Modeling and Control of Unsteady Fluid Flows
Neural Information Processing Systems · 2018
181
cited
Generalizable intention prediction of human drivers at intersections
2017 IEEE Intelligent Vehicles Symposium (IV) · 2017
171
cited
Airspace Encounter Models for Estimating Collision Risk
2010
167
cited
Sotabase
Mykel Kochenderfer | Researcher Profile | Sotabase | Sotabase