Mykel J. Kochenderfer

Orcid: 0000-0002-7238-9663

Affiliations:
  • Stanford University


According to our database1, Mykel J. Kochenderfer authored at least 296 papers between 2003 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Disentangled Neural Relational Inference for Interpretable Motion Prediction.
IEEE Robotics Autom. Lett., February, 2024

Addressing Myopic Constrained POMDP Planning with Recursive Dual Ascent.
CoRR, 2024

Entropy-regularized Point-based Value Iteration.
CoRR, 2024

Approximate Sequential Optimization for Informative Path Planning.
CoRR, 2024

Semantic Belief Behavior Graph: Enabling Autonomous Robot Inspection in Unknown Environments.
CoRR, 2024

Distributed Markov Chain Monte Carlo Sampling based on the Alternating Direction Method of Multipliers.
CoRR, 2024

Multi-Agent Dynamic Relational Reasoning for Social Robot Navigation.
CoRR, 2024

The Synergy Between Optimal Transport Theory and Multi-Agent Reinforcement Learning.
CoRR, 2024

Graph Q-Learning for Combinatorial Optimization.
CoRR, 2024

Rank2Tell: A Multimodal Driving Dataset for Joint Importance Ranking and Reasoning.
Proceedings of the IEEE/CVF Winter Conference on Applications of Computer Vision, 2024

2023
Global optimization of objective functions represented by ReLU networks.
Mach. Learn., October, 2023

Modeling Human Driving Behavior Through Generative Adversarial Imitation Learning.
IEEE Trans. Intell. Transp. Syst., March, 2023

Guest Editorial: Special issue on robust machine learning.
Mach. Learn., 2023

Generating probabilistic safety guarantees for neural network controllers.
Mach. Learn., 2023

Optimality Guarantees for Particle Belief Approximation of POMDPs.
J. Artif. Intell. Res., 2023

Multirobot Navigation Using Partially Observable Markov Decision Processes with Belief-Based Rewards.
J. Aerosp. Inf. Syst., 2023

Interactive Autonomous Navigation with Internal State Inference and Interactivity Estimation.
CoRR, 2023

Large-Scale Multi-Robot Assembly Planning for Autonomous Manufacturing.
CoRR, 2023

Constrained Hierarchical Monte Carlo Belief-State Planning.
CoRR, 2023

Predicting Future Spatiotemporal Occupancy Grids with Semantics for Autonomous Driving.
CoRR, 2023

Scene Informer: Anchor-based Occlusion Inference and Trajectory Prediction in Partially Observable Environments.
CoRR, 2023

Satisfiability.jl: Satisfiability Modulo Theories in Julia.
CoRR, 2023

A Holistic Assessment of the Reliability of Machine Learning Systems.
CoRR, 2023

Efficient Determination of Safety Requirements for Perception Systems.
CoRR, 2023

BetaZero: Belief-State Planning for Long-Horizon POMDPs using Learned Approximations.
CoRR, 2023

Joint Falsification and Fidelity Settings Optimization for Validation of Safety-Critical Systems: A Theoretical Analysis.
CoRR, 2023

Bayesian Safety Validation for Black-Box Systems.
CoRR, 2023

Optimizing Carbon Storage Operations for Long-Term Safety.
CoRR, 2023

Inferring Traffic Models in Terminal Airspace from Flight Tracks and Procedures.
CoRR, 2023

Incorporating Human Path Preferences in Robot Navigation with Minimal Interventions.
CoRR, 2023

Conformal Prediction for Uncertainty-Aware Planning with Diffusion Dynamics Model.
Proceedings of the Advances in Neural Information Processing Systems 36: Annual Conference on Neural Information Processing Systems 2023, 2023

AVOIDDS: Aircraft Vision-based Intruder Detection Dataset and Simulator.
Proceedings of the Advances in Neural Information Processing Systems 36: Annual Conference on Neural Information Processing Systems 2023, 2023

Model-based Validation as Probabilistic Inference.
Proceedings of the Learning for Dynamics and Control Conference, 2023

Experience Filter: Using Past Experiences on Unseen Tasks or Environments.
Proceedings of the IEEE Intelligent Vehicles Symposium, 2023

SAVME: Efficient Safety Validation for Autonomous Systems Using Meta-Learning.
Proceedings of the 25th IEEE International Conference on Intelligent Transportation Systems, 2023

Robust Driving Policy Learning with Guided Meta Reinforcement Learning.
Proceedings of the 25th IEEE International Conference on Intelligent Transportation Systems, 2023

Sequential Bayesian Optimization for Adaptive Informative Path Planning with Multimodal Sensing.
Proceedings of the IEEE International Conference on Robotics and Automation, 2023

SHAIL: Safety-Aware Hierarchical Adversarial Imitation Learning for Autonomous Driving in Urban Environments.
Proceedings of the IEEE International Conference on Robotics and Automation, 2023

Safe and Efficient Navigation in Extreme Environments using Semantic Belief Graphs.
Proceedings of the IEEE International Conference on Robotics and Automation, 2023

Fast and Scalable Signal Inference for Active Robotic Source Seeking.
Proceedings of the IEEE International Conference on Robotics and Automation, 2023

Model Predictive Optimized Path Integral Strategies.
Proceedings of the IEEE International Conference on Robotics and Automation, 2023

Deep Normalizing Flows for State Estimation.
Proceedings of the 26th International Conference on Information Fusion, 2023

Falsification of Learning-Based Controllers through Multi-Fidelity Bayesian Optimization.
Proceedings of the European Control Conference, 2023

Online Planning for Constrained POMDPs with Continuous Spaces through Dual Ascent.
Proceedings of the Thirty-Third International Conference on Automated Planning and Scheduling, 2023

2022
Verification of Image-Based Neural Network Controllers Using Generative Models.
J. Aerosp. Inf. Syst., September, 2022

Reluplex: a calculus for reasoning about deep neural networks.
Formal Methods Syst. Des., February, 2022

Improving Automated Driving Through POMDP Planning With Human Internal States.
IEEE Trans. Intell. Transp. Syst., 2022

A Hybrid Rule-Based and Data-Driven Approach to Driver Modeling Through Particle Filtering.
IEEE Trans. Intell. Transp. Syst., 2022

Hierarchical Planning for Dynamic Resource Allocation in Smart and Connected Communities.
ACM Trans. Cyber Phys. Syst., 2022

OVERT: An Algorithm for Safety Verification of Neural Network Control Policies for Nonlinear Systems.
J. Mach. Learn. Res., 2022

Scalable Online Planning for Multi-Agent MDPs.
J. Artif. Intell. Res., 2022

A POMDP Model for Safe Geological Carbon Sequestration.
CoRR, 2022

A Deep Reinforcement Learning Approach to Rare Event Estimation.
CoRR, 2022

Generalized Optimality Guarantees for Solving Continuous Observation POMDPs through Particle Belief MDP Approximation.
CoRR, 2022

LOPR: Latent Occupancy PRediction using Generative Models.
CoRR, 2022

Backward Reachability Analysis of Neural Feedback Loops: Techniques for Linear and Nonlinear Systems.
CoRR, 2022

Risk-aware Meta-level Decision Making for Exploration Under Uncertainty.
CoRR, 2022

EvolveHypergraph: Group-Aware Dynamic Relational Reasoning for Trajectory Prediction.
CoRR, 2022

Strategic Asset Allocation with Illiquid Alternatives.
CoRR, 2022

Disentangling Epistemic and Aleatoric Uncertainty in Reinforcement Learning.
CoRR, 2022

Meta-SysId: A Meta-Learning Approach for Simultaneous Identification and Prediction.
CoRR, 2022

Collision Risk and Operational Impact of Speed Change Advisories as Aircraft Collision Avoidance Maneuvers.
CoRR, 2022

Deep Binary Reinforcement Learning for Scalable Verification.
CoRR, 2022

A Light-Weight Multi-Objective Asynchronous Hyper-Parameter Optimizer.
CoRR, 2022

Verifying Inverse Model Neural Networks.
CoRR, 2022

Conditional Approximate Normalizing Flows for Joint Multi-Step Probabilistic Forecasting with Application to Electricity Demand.
CoRR, 2022

Multi-Vehicle Control in Roundabouts using Decentralized Game-Theoretic Planning.
CoRR, 2022

Dynamic multi-robot task allocation under uncertainty and temporal constraints.
Auton. Robots, 2022

Interaction Modeling with Multiplex Attention.
Proceedings of the Advances in Neural Information Processing Systems 35: Annual Conference on Neural Information Processing Systems 2022, 2022

Risk-Driven Design of Perception Systems.
Proceedings of the Advances in Neural Information Processing Systems 35: Annual Conference on Neural Information Processing Systems 2022, 2022

Collaborative Decision Making Using Action Suggestions.
Proceedings of the Advances in Neural Information Processing Systems 35: Annual Conference on Neural Information Processing Systems 2022, 2022

ZoPE: A Fast Optimizer for ReLU Networks with Low-Dimensional Inputs.
Proceedings of the NASA Formal Methods - 14th International Symposium, 2022

Optimal Pointing Sequences in Spacecraft Formation Flying Using Online Planning with Resource Constraints.
Proceedings of the Learning for Dynamics and Control Conference, 2022

Uncertainty-Aware Online Merge Planning with Learned Driver Behavior.
Proceedings of the 25th IEEE International Conference on Intelligent Transportation Systems, 2022

Multi-Objective Policy Gradients with Topological Constraints.
Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, 2022

Dynamics-Aware Spatiotemporal Occupancy Prediction in Urban Environments.
Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, 2022

FIG-OP: Exploring Large-Scale Unknown Environments on a Fixed Time Budget.
Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, 2022

Capability-Aware Task Allocation and Team Formation Analysis for Cooperative Exploration of Complex Environments.
Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, 2022

How Do We Fail? Stress Testing Perception in Autonomous Vehicles.
Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, 2022

Adaptive Coverage Path Planning for Efficient Exploration of Unknown Environments.
Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, 2022

Scalable Anytime Planning for Multi-Agent MDPs (Extended Abstract).
Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, 2022

Learning Emergent Discrete Message Communication for Cooperative Reinforcement Learning.
Proceedings of the 2022 International Conference on Robotics and Automation, 2022

Multi-Agent Variational Occlusion Inference Using People as Sensors.
Proceedings of the 2022 International Conference on Robotics and Automation, 2022

Infrastructure-Enabled Autonomy: An Attention Mechanism for Occlusion Handling.
Proceedings of the 2022 International Conference on Robotics and Automation, 2022

Strategic Asset Allocation with Illiquid Alternatives.
Proceedings of the 3rd ACM International Conference on AI in Finance, 2022

Prioritizing emergency evacuations under compounding levels of uncertainty.
Proceedings of the IEEE Global Humanitarian Technology Conference, 2022

Autonomous Attack Mitigation for Industrial Control Systems.
Proceedings of the 52nd Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2022

Interpretable Self-Aware Neural Networks for Robust Trajectory Prediction.
Proceedings of the Conference on Robot Learning, 2022

Agent-Time Attention for Sparse Rewards Multi-Agent Reinforcement Learning.
Proceedings of the 21st International Conference on Autonomous Agents and Multiagent Systems, 2022

Coordinated Multi-Agent Pathfinding for Drones and Trucks over Road Networks.
Proceedings of the 21st International Conference on Autonomous Agents and Multiagent Systems, 2022

Using Adaptive Stress Testing to Identify Paths to Ethical Dilemmas in Autonomous Systems.
Proceedings of the Workshop on Artificial Intelligence Safety 2022 (SafeAI 2022) co-located with the Thirty-Sixth AAAI Conference on Artificial Intelligence (AAAI2022), 2022

Interpretable Local Tree Surrogate Policies.
Proceedings of the Workshop on Artificial Intelligence Safety 2022 (SafeAI 2022) co-located with the Thirty-Sixth AAAI Conference on Artificial Intelligence (AAAI2022), 2022

Recursive Reasoning Graph for Multi-Agent Reinforcement Learning.
Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence, 2022

A Gray Box Model for Characterizing Driver Behavior.
Proceedings of the Workshop on Artificial Intelligence Safety 2022 (SafeAI 2022) co-located with the Thirty-Sixth AAAI Conference on Artificial Intelligence (AAAI2022), 2022

2021
Multimodal sensing and intuitive steering assistance improve navigation and mobility for people with impaired vision.
Sci. Robotics, 2021

Tax-Aware Portfolio Construction via Convex Optimization.
J. Optim. Theory Appl., 2021

A Survey of Algorithms for Black-Box Safety Validation of Cyber-Physical Systems.
J. Artif. Intell. Res., 2021

Efficient Large-Scale Multi-Drone Delivery using Transit Networks.
J. Artif. Intell. Res., 2021

Algorithms for Verifying Deep Neural Networks.
Found. Trends Optim., 2021

Reinforcement Learning for Industrial Control Network Cyber Security Orchestration.
CoRR, 2021

Measurable Monte Carlo Search Error Bounds.
CoRR, 2021

Training Structured Mechanical Models by Minimizing Discrete Euler-Lagrange Residual.
CoRR, 2021

Preference-based Learning of Reward Function Features.
CoRR, 2021

WildfireDB: An Open-Source Dataset Connecting Wildfire Occurrence with Relevant Determinants.
Proceedings of the Neural Information Processing Systems Track on Datasets and Benchmarks 1, 2021

Evidential Softmax for Sparse Multimodal Distributions in Deep Generative Models.
Proceedings of the Advances in Neural Information Processing Systems 34: Annual Conference on Neural Information Processing Systems 2021, 2021

Out-of-Distribution Detection for Automotive Perception.
Proceedings of the 24th IEEE International Intelligent Transportation Systems Conference, 2021

3D Radar Velocity Maps for Uncertain Dynamic Environments.
Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, 2021

Attention Augmented ConvLSTM for Environment Prediction.
Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, 2021

Finding Failures in High-Fidelity Simulation using Adaptive Stress Testing and the Backward Algorithm.
Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, 2021

A Mixed Integer Programming Approach for Verifying Properties of Binarized Neural Networks.
Proceedings of the Workshop on Artificial Intelligence Safety 2021 co-located with the Thirtieth International Joint Conference on Artificial Intelligence (IJCAI 2021), 2021

Double-Prong ConvLSTM for Spatiotemporal Occupancy Prediction in Dynamic Environments.
Proceedings of the IEEE International Conference on Robotics and Automation, 2021

Reinforcement Learning for Autonomous Driving with Latent State Inference and Spatial-Temporal Relationships.
Proceedings of the IEEE International Conference on Robotics and Automation, 2021

Dyadic Sex Composition and Task Classification Using fNIRS Hyperscanning Data.
Proceedings of the 20th IEEE International Conference on Machine Learning and Applications, 2021

Hierarchical planning for resource allocation in emergency response systems.
Proceedings of the ICCPS '21: ACM/IEEE 12th International Conference on Cyber-Physical Systems, 2021

Deep Implicit Coordination Graphs for Multi-agent Reinforcement Learning.
Proceedings of the AAMAS '21: 20th International Conference on Autonomous Agents and Multiagent Systems, 2021

Scalable Anytime Planning for Multi-Agent MDPs.
Proceedings of the AAMAS '21: 20th International Conference on Autonomous Agents and Multiagent Systems, 2021

Bayesian Optimized Monte Carlo Planning.
Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021

Improved POMDP Tree Search Planning with Prioritized Action Branching.
Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021

Transfer Learning for Efficient Iterative Safety Validation.
Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021

2020
Combining Planning and Deep Reinforcement Learning in Tactical Decision Making for Autonomous Driving.
IEEE Trans. Intell. Veh., 2020

Adaptive Stress Testing: Finding Likely Failure Events with Reinforcement Learning.
J. Artif. Intell. Res., 2020

Estimation and control using sampling-based Bayesian reinforcement learning.
IET Cyper-Phys. Syst.: Theory & Appl., 2020

Obstacle Avoidance Using a Monocular Camera.
CoRR, 2020

Adaptive Stress Testing of Trajectory Predictions in Flight Management Systems.
CoRR, 2020

Runtime Safety Assurance Using Reinforcement Learning.
CoRR, 2020

Attention Augmented ConvLSTM forEnvironment Prediction.
CoRR, 2020

Uncertainty Aware Wildfire Management.
CoRR, 2020

Designing Emergency Response Pipelines : Lessons and Challenges.
CoRR, 2020

A Maximum Independent Set Method for Scheduling Earth Observing Satellite Constellations.
CoRR, 2020

Analysis of Fleet Management and Network Design for On-Demand Urban Air Mobility Operations.
CoRR, 2020

Towards Recurrent Autoregressive Flow Models.
CoRR, 2020

Modeling and Prediction of Human Driver Behavior: A Survey.
CoRR, 2020

A Review of Emergency Incident Prediction, Resource Allocation and Dispatch Models.
CoRR, 2020

Improving Automated Driving through Planning with Human Internal States.
CoRR, 2020

A Survey of Algorithms for Black-Box Safety Validation.
CoRR, 2020

STT-CBS: A Conflict-Based Search Algorithm for Multi-Agent Path Finding with Stochastic Travel Times.
CoRR, 2020

The Adaptive Stress Testing Formulation.
CoRR, 2020

Model primitives for hierarchical lifelong reinforcement learning.
Auton. Agents Multi Agent Syst., 2020

Robust Spatial-Temporal Incident Prediction.
Proceedings of the Thirty-Sixth Conference on Uncertainty in Artificial Intelligence, 2020

Active Preference-Based Gaussian Process Regression for Reward Learning.
Proceedings of the Robotics: Science and Systems XVI, 2020

Provably Efficient Reward-Agnostic Navigation with Linear Value Iteration.
Proceedings of the Advances in Neural Information Processing Systems 33: Annual Conference on Neural Information Processing Systems 2020, 2020

Handling Missing Data with Graph Representation Learning.
Proceedings of the Advances in Neural Information Processing Systems 33: Annual Conference on Neural Information Processing Systems 2020, 2020

Evidential Sparsification of Multimodal Latent Spaces in Conditional Variational Autoencoders.
Proceedings of the Advances in Neural Information Processing Systems 33: Annual Conference on Neural Information Processing Systems 2020, 2020

Structured Mechanical Models for Robot Learning and Control.
Proceedings of the 2nd Annual Conference on Learning for Dynamics and Control, 2020

Directional Primitives for Uncertainty-Aware Motion Estimation in Urban Environments.
Proceedings of the 23rd IEEE International Conference on Intelligent Transportation Systems, 2020

Adaptive Stress Testing without Domain Heuristics using Go-Explore.
Proceedings of the 23rd IEEE International Conference on Intelligent Transportation Systems, 2020

Validation of Image-Based Neural Network Controllers through Adaptive Stress Testing.
Proceedings of the 23rd IEEE International Conference on Intelligent Transportation Systems, 2020

Scalable Autonomous Vehicle Safety Validation through Dynamic Programming and Scene Decomposition.
Proceedings of the 23rd IEEE International Conference on Intelligent Transportation Systems, 2020

Interpretable Safety Validation for Autonomous Vehicles.
Proceedings of the 23rd IEEE International Conference on Intelligent Transportation Systems, 2020

Reinforcement Learning with Iterative Reasoning for Merging in Dense Traffic.
Proceedings of the 23rd IEEE International Conference on Intelligent Transportation Systems, 2020

Optimal Sequential Task Assignment and Path Finding for Multi-Agent Robotic Assembly Planning.
Proceedings of the 2020 IEEE International Conference on Robotics and Automation, 2020

Reinforcement Learning for Adaptive Illumination with X-rays.
Proceedings of the 2020 IEEE International Conference on Robotics and Automation, 2020

Learning Near Optimal Policies with Low Inherent Bellman Error.
Proceedings of the 37th International Conference on Machine Learning, 2020

Scalable Identification of Partially Observed Systems with Certainty-Equivalent EM.
Proceedings of the 37th International Conference on Machine Learning, 2020

Normalizing Flow Policies for Multi-agent Systems.
Proceedings of the Decision and Game Theory for Security - 11th International Conference, 2020

On Algorithmic Decision Procedures in Emergency Response Systems in Smart and Connected Communities.
Proceedings of the 19th International Conference on Autonomous Agents and Multiagent Systems, 2020

Normalizing Flow Model for Policy Representation in Continuous Action Multi-agent Systems.
Proceedings of the 19th International Conference on Autonomous Agents and Multiagent Systems, 2020

Multi-agent Adversarial Inverse Reinforcement Learning with Latent Variables.
Proceedings of the 19th International Conference on Autonomous Agents and Multiagent Systems, 2020

Exchangeable Input Representations for Reinforcement Learning.
Proceedings of the 2020 American Control Conference, 2020

Online Parameter Estimation for Human Driver Behavior Prediction.
Proceedings of the 2020 American Control Conference, 2020

Adaptive Informative Path Planning with Multimodal Sensing.
Proceedings of the Thirtieth International Conference on Automated Planning and Scheduling, 2020

Point-Based Methods for Model Checking in Partially Observable Markov Decision Processes.
Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020

2019
Toward Closing the Loop on Human Values.
IEEE Trans. Intell. Veh., 2019

Deep Reinforcement Learning for Event-Driven Multi-Agent Decision Processes.
IEEE Trans. Intell. Transp. Syst., 2019

Learning Probabilistic Trajectory Models of Aircraft in Terminal Airspace From Position Data.
IEEE Trans. Intell. Transp. Syst., 2019

Recovering missing CFD data for high-order discretizations using deep neural networks and dynamics learning.
J. Comput. Phys., 2019

Unifying System Health Management and Automated Decision Making.
J. Artif. Intell. Res., 2019

Tutorial on the generation of ergodic trajectories with projection-based gradient descent.
IET Cyper-Phys. Syst.: Theory & Appl., 2019

Optimizing Collision Avoidance in Dense Airspace using Deep Reinforcement Learning.
CoRR, 2019

Guaranteeing Safety for Neural Network-Based Aircraft Collision Avoidance Systems.
CoRR, 2019

Parameter-Conditioned Sequential Generative Modeling of Fluid Flows.
CoRR, 2019

Markov Decision Processes For Multi-Objective Satellite Task Planning.
CoRR, 2019

Adaptive Stress Testing with Reward Augmentation for Autonomous Vehicle Validation.
CoRR, 2019

Health-Informed Policy Gradients for Multi-Agent Reinforcement Learning.
CoRR, 2019

Learning an Urban Air Mobility Encounter Model from Expert Preferences.
CoRR, 2019

Hybrid Planning for Dynamic Multimodal Stochastic Shortest Paths.
CoRR, 2019

Object Exchangeability in Reinforcement Learning: Extended Abstract.
CoRR, 2019

Satellite Image Tasking Under Orbit Prediction Uncertainty.
CoRR, 2019

Reinforcement Learning with Probabilistic Guarantees for Autonomous Driving.
CoRR, 2019

Algorithms for Verifying Deep Neural Networks.
CoRR, 2019

Rethinking System Health Management.
CoRR, 2019

Verifying Aircraft Collision Avoidance Neural Networks Through Linear Approximations of Safe Regions.
CoRR, 2019

A Reachability Method for Verifying Dynamical Systems with Deep Neural Network Controllers.
CoRR, 2019

A General Framework for Structured Learning of Mechanical Systems.
CoRR, 2019

Dynamic Real-time Multimodal Routing with Hierarchical Hybrid Planning.
CoRR, 2019

Real-time Prediction of Automotive Collision Risk from Monocular Video.
CoRR, 2019

Decomposition methods with deep corrections for reinforcement learning.
Auton. Agents Multi Agent Syst., 2019

Limiting Extrapolation in Linear Approximate Value Iteration.
Proceedings of the Advances in Neural Information Processing Systems 32: Annual Conference on Neural Information Processing Systems 2019, 2019

Almost Horizon-Free Structure-Aware Best Policy Identification with a Generative Model.
Proceedings of the Advances in Neural Information Processing Systems 32: Annual Conference on Neural Information Processing Systems 2019, 2019

Critical Factor Graph Situation Clusters for Accelerated Automotive Safety Validation.
Proceedings of the 2019 IEEE Intelligent Vehicles Symposium, 2019

Pedestrian Collision Avoidance System for Scenarios with Occlusions.
Proceedings of the 2019 IEEE Intelligent Vehicles Symposium, 2019

Dynamic Real-time Multimodal Routing with Hierarchical Hybrid Planning.
Proceedings of the 2019 IEEE Intelligent Vehicles Symposium, 2019

Safe Reinforcement Learning with Scene Decomposition for Navigating Complex Urban Environments.
Proceedings of the 2019 IEEE Intelligent Vehicles Symposium, 2019

Efficient Autonomy Validation in Simulation with Adaptive Stress Testing.
Proceedings of the 2019 IEEE Intelligent Transportation Systems Conference, 2019

Dynamic Environment Prediction in Urban Scenes using Recurrent Representation Learning.
Proceedings of the 2019 IEEE Intelligent Transportation Systems Conference, 2019

Adaptive Stress Testing with Reward Augmentation for Autonomous Vehicle Validatio.
Proceedings of the 2019 IEEE Intelligent Transportation Systems Conference, 2019

Cooperation-Aware Reinforcement Learning for Merging in Dense Traffic.
Proceedings of the 2019 IEEE Intelligent Transportation Systems Conference, 2019

EnsembleDAgger: A Bayesian Approach to Safe Imitation Learning.
Proceedings of the 2019 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2019

Deep Variational Koopman Models: Inferring Koopman Observations for Uncertainty-Aware Dynamics Modeling and Control.
Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019

Monte Carlo Tree Search for Policy Optimization.
Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019

HG-DAgger: Interactive Imitation Learning with Human Experts.
Proceedings of the International Conference on Robotics and Automation, 2019

Hunting Drones with Other Drones: Tracking a Moving Radio Target.
Proceedings of the International Conference on Robotics and Automation, 2019

Simulating Emergent Properties of Human Driving Behavior Using Multi-Agent Reward Augmented Imitation Learning.
Proceedings of the International Conference on Robotics and Automation, 2019

Stochastic Model Predictive Control for Scheduling Charging of Electric Vehicle Fleets with Market Power.
Proceedings of the 2019 IEEE International Conference on Connected Vehicles and Expo, 2019

The Marabou Framework for Verification and Analysis of Deep Neural Networks.
Proceedings of the Computer Aided Verification - 31st International Conference, 2019

Model Primitive Hierarchical Lifelong Reinforcement Learning.
Proceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems, 2019

Object Exchangability in Reinforcement Learning.
Proceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems, 2019

2018
Horizontal Maneuver Coordination for Aircraft Collision-Avoidance Systems.
J. Aerosp. Inf. Syst., February, 2018

Closed-Loop Policies for Operational Tests of Safety-Critical Systems.
IEEE Trans. Intell. Veh., 2018

Visual Depth Mapping from Monocular Images using Recurrent Convolutional Neural Networks.
CoRR, 2018

Adaptive Stress Testing: Finding Failure Events with Reinforcement Learning.
CoRR, 2018

Distributed Wildfire Surveillance with Autonomous Aircraft using Deep Reinforcement Learning.
CoRR, 2018

Deep Neural Network Compression for Aircraft Collision Avoidance Systems.
CoRR, 2018

Image-based Guidance of Autonomous Aircraft for Wildfire Surveillance and Prediction.
CoRR, 2018

Efficient and Low-cost Localization of Radio Signals with a Multirotor UAV.
CoRR, 2018

Analyzing Traffic Delay at Unmanaged Intersections.
CoRR, 2018

Toward Scalable Verification for Safety-Critical Deep Networks.
CoRR, 2018

Interpretable Categorization of Heterogeneous Time Series Data.
Proceedings of the 2018 SIAM International Conference on Data Mining, 2018

Robust Super-Level Set Estimation Using Gaussian Processes.
Proceedings of the Machine Learning and Knowledge Discovery in Databases, 2018

Amortized Inference Regularization.
Proceedings of the Advances in Neural Information Processing Systems 31: Annual Conference on Neural Information Processing Systems 2018, 2018

Deep Dynamical Modeling and Control of Unsteady Fluid Flows.
Proceedings of the Advances in Neural Information Processing Systems 31: Annual Conference on Neural Information Processing Systems 2018, 2018

Value Sensitive Design for Autonomous Vehicle Motion Planning.
Proceedings of the 2018 IEEE Intelligent Vehicles Symposium, 2018

Exploiting Hierarchy for Scalable Decision Making in Autonomous Driving.
Proceedings of the 2018 IEEE Intelligent Vehicles Symposium, 2018

Improved Robustness and Safety for Autonomous Vehicle Control with Adversarial Reinforcement Learning.
Proceedings of the 2018 IEEE Intelligent Vehicles Symposium, 2018

Adaptive Stress Testing for Autonomous Vehicles.
Proceedings of the 2018 IEEE Intelligent Vehicles Symposium, 2018

Closed-Loop Planning for Disaster Evacuation with Stochastic Arrivals.
Proceedings of the 21st International Conference on Intelligent Transportation Systems, 2018

Analytically Modeling Unmanaged Intersections with Microscopic Vehicle Interactions.
Proceedings of the 21st International Conference on Intelligent Transportation Systems, 2018

Gaussian Process Dynamic Programming for Optimizing Ungrounded Haptic Guidance.
Proceedings of the 2018 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2018

Improving Offline Value-Function Approximations for POMDPs by Reducing Discount Factors.
Proceedings of the 2018 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2018

Multi-Agent Imitation Learning for Driving Simulation.
Proceedings of the 2018 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2018

People as Sensors: Imputing Maps from Human Actions.
Proceedings of the 2018 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2018

Pseudo-bearing Measurements for Improved Localization of Radio Sources with Multirotor UAVs.
Proceedings of the 2018 IEEE International Conference on Robotics and Automation, 2018

Scalable Decision Making with Sensor Occlusions for Autonomous Driving.
Proceedings of the 2018 IEEE International Conference on Robotics and Automation, 2018

Rethinking Style and Content Disentanglement in Variational Autoencoders.
Proceedings of the 6th International Conference on Learning Representations, 2018

Using Neural Networks to Generate Information Maps for Mobile Sensors.
Proceedings of the 57th IEEE Conference on Decision and Control, 2018

Real-Time Prediction of Intermediate-Horizon Automotive Collision Risk.
Proceedings of the 17th International Conference on Autonomous Agents and MultiAgent Systems, 2018

Multi-Agent Reinforcement Learning for Multi-Object Tracking.
Proceedings of the 17th International Conference on Autonomous Agents and MultiAgent Systems, 2018

Burn-In Demonstrations for Multi-Modal Imitation Learning.
Proceedings of the 17th International Conference on Autonomous Agents and MultiAgent Systems, 2018

Utility Decomposition with Deep Corrections for Scalable Planning under Uncertainty.
Proceedings of the 17th International Conference on Autonomous Agents and MultiAgent Systems, 2018

On the Optimality of Ergodic Trajectories for Information Gathering Tasks.
Proceedings of the 2018 Annual American Control Conference, 2018

Online Algorithms for POMDPs with Continuous State, Action, and Observation Spaces.
Proceedings of the Twenty-Eighth International Conference on Automated Planning and Scheduling, 2018

2017
Analysis of Recurrent Neural Networks for Probabilistic Modeling of Driver Behavior.
IEEE Trans. Intell. Transp. Syst., 2017

Learning Traffic Patterns at Small Airports From Flight Tracks.
IEEE Trans. Intell. Transp. Syst., 2017

POMDPs.jl: A Framework for Sequential Decision Making under Uncertainty.
J. Mach. Learn. Res., 2017

Learning Discrete Bayesian Networks from Continuous Data.
J. Artif. Intell. Res., 2017

A comparison of Monte Carlo tree search and rolling horizon optimization for large-scale dynamic resource allocation problems.
Eur. J. Oper. Res., 2017

POMCPOW: An online algorithm for POMDPs with continuous state, action, and observation spaces.
CoRR, 2017

DropoutDAgger: A Bayesian Approach to Safe Imitation Learning.
CoRR, 2017

Towards Proving the Adversarial Robustness of Deep Neural Networks.
Proceedings of the Proceedings First Workshop on Formal Verification of Autonomous Vehicles, 2017

Optimal Testing of Self-Driving Cars.
CoRR, 2017

Heuristics for planning with rare catastrophic events.
Proceedings of the 2017 Winter Simulation Conference, 2017

Layer-wise synapse optimization for implementing neural networks on general neuromorphic architectures.
Proceedings of the 2017 IEEE Symposium Series on Computational Intelligence, 2017

Deep stochastic radar models.
Proceedings of the IEEE Intelligent Vehicles Symposium, 2017

Generalizable intention prediction of human drivers at intersections.
Proceedings of the IEEE Intelligent Vehicles Symposium, 2017

Imitating driver behavior with generative adversarial networks.
Proceedings of the IEEE Intelligent Vehicles Symposium, 2017

Belief state planning for autonomously navigating urban intersections.
Proceedings of the IEEE Intelligent Vehicles Symposium, 2017

Simultaneous policy learning and latent state inference for imitating driver behavior.
Proceedings of the 20th IEEE International Conference on Intelligent Transportation Systems, 2017

Simultaneous active parameter estimation and control using sampling-based Bayesian reinforcement learning.
Proceedings of the 2017 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2017

Weighted Double Q-learning.
Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

Geometric Concept Acquisition in a Dueling Deep Q-Network.
Proceedings of the 39th Annual Meeting of the Cognitive Science Society, 2017

Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks.
Proceedings of the Computer Aided Verification - 29th International Conference, 2017

Cooperative Multi-agent Control Using Deep Reinforcement Learning.
Proceedings of the Autonomous Agents and Multiagent Systems, 2017

The value of inferring the internal state of traffic participants for autonomous freeway driving.
Proceedings of the 2017 American Control Conference, 2017

Efficient Decision-Theoretic Target Localization.
Proceedings of the Twenty-Seventh International Conference on Automated Planning and Scheduling, 2017

2016
Ground Delay Program Planning Using Markov Decision Processes.
J. Aerosp. Inf. Syst., 2016

Optimized and Trusted Collision Avoidance for Unmanned Aerial Vehicles using Approximate Dynamic Programming (Technical Report).
CoRR, 2016

Decision-theoretic approach to designing cyber resilient systems.
Proceedings of the 15th IEEE International Symposium on Network Computing and Applications, 2016

Analysis of microscopic behavior models for probabilistic modeling of driver behavior.
Proceedings of the 19th IEEE International Conference on Intelligent Transportation Systems, 2016

Factor graph scene distributions for automotive safety analysis.
Proceedings of the 19th IEEE International Conference on Intelligent Transportation Systems, 2016

Optimized and trusted collision avoidance for unmanned aerial vehicles using approximate dynamic programming.
Proceedings of the 2016 IEEE International Conference on Robotics and Automation, 2016

Customer Simulation for Direct Marketing Experiments.
Proceedings of the 2016 IEEE International Conference on Data Science and Advanced Analytics, 2016

Exploiting Anonymity in Approximate Linear Programming: Scaling to Large Multiagent MDPs.
Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, 2016

Target Surveillance in Adversarial Environments Using POMDPs.
Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, 2016

2015
Optimizing a Collision-Avoidance System for Closely Spaced Parallel Operations.
J. Aerosp. Inf. Syst., 2015

Bayesian Preference Elicitation for Multiobjective Engineering Design Optimization.
J. Aerosp. Inf. Syst., 2015

Introduction to the Special Issue on Optimal Decision Making in Aerospace Systems.
J. Aerosp. Inf. Syst., 2015

Exploiting Anonymity in Approximate Linear Programming: Scaling to Large Multiagent MDPs (Extended Version).
CoRR, 2015

A Probabilistic Framework for Microscopic Traffic Propagation.
Proceedings of the IEEE 18th International Conference on Intelligent Transportation Systems, 2015

Initial Scene Configurations for Highway Traffic Propagation.
Proceedings of the IEEE 18th International Conference on Intelligent Transportation Systems, 2015

Continous time autonomous air traffic control for non-towered airports.
Proceedings of the 54th IEEE Conference on Decision and Control, 2015

Control of epidemics on graphs.
Proceedings of the 54th IEEE Conference on Decision and Control, 2015

2014
A Comparison of Monte Carlo Tree Search and Mathematical Optimization for Large Scale Dynamic Resource Allocation.
CoRR, 2014

2013
Compression of Optimal Value Functions for Markov Decision Processes.
Proceedings of the 2013 Data Compression Conference, 2013

Decentralized control of partially observable Markov decision processes.
Proceedings of the 52nd IEEE Conference on Decision and Control, 2013

2012
Predicting the behavior of interacting humans by fusing data from multiple sources.
Proceedings of the Twenty-Eighth Conference on Uncertainty in Artificial Intelligence, 2012

2011
Aircraft Collision Avoidance Using Monte Carlo Real-Time Belief Space Search.
J. Intell. Robotic Syst., 2011

Unmanned Aircraft Collision Avoidance using Continuous-State POMDPs.
Proceedings of the Robotics: Science and Systems VII, 2011

Analysis of open-loop and closed-loop planning for aircraft collision avoidance.
Proceedings of the 14th International IEEE Conference on Intelligent Transportation Systems, 2011

Collision Avoidance Using Partially Controlled Markov Decision Processes.
Proceedings of the Agents and Artificial Intelligence - Third International Conference, 2011

Partially-controlled Markov Decision Processes for Collision Avoidance Systems.
Proceedings of the ICAART 2011 - Proceedings of the 3rd International Conference on Agents and Artificial Intelligence, Volume 1, 2011

Collision avoidance system optimization with probabilistic pilot response models.
Proceedings of the American Control Conference, 2011

2010
A decision-theoretic approach to developing robust collision avoidance logic.
Proceedings of the 13th International IEEE Conference on Intelligent Transportation Systems, 2010

2006
Adaptive modelling and planning for learning intelligent behaviour.
PhD thesis, 2006

2005
Adaptive Modeling and Planning for Reactive Agents.
Proceedings of the Proceedings, 2005

2004
Common Sense Data Acquisition for Indoor Mobile Robots.
Proceedings of the Nineteenth National Conference on Artificial Intelligence, 2004

2003
Evolving Hierarchical and Recursive Teleo-reactive Programs through Genetic Programming.
Proceedings of the Genetic Programming, 6th European Conference, EuroGP 2003, 2003


  Loading...