Mykel J. Kochenderfer

Sidhart Krishnan

Anil Yildiz

Kyle Hatch

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.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence, 2022

A Gray Box Model for Characterizing Driver Behavior.

[BibT_eX]

[DOI]

Soyeon Jung

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

Airspace-Encounter-Models/em-model-manned-bayes: October 2021.

[BibT_eX]

[DOI]

Andrew J. Weinert

Dataset, October, 2021

Airspace-Encounter-Models/em-model-manned-bayes: October 2021.

[BibT_eX]

[DOI]

Andrew J. Weinert

Dataset, October, 2021

Airspace-Encounter-Models/em-model-manned-bayes: July 2021 - Terminal Model and Improved Performance.

[BibT_eX]

[DOI]

Andrew J. Weinert

Dataset, July, 2021

Maximum Independent Set Satellite Scheduling World Cities Data Set.

[BibT_eX]

[DOI]

Dataset, June, 2021

Airspace-Encounter-Models/em-model-manned-bayes: March 2021 - OpenSky Updates.

[BibT_eX]

[DOI]

Dataset, March, 2021

Multimodal sensing and intuitive steering assistance improve navigation and mobility for people with impaired vision.

[BibT_eX]

[DOI]

Patrick Slade

Arjun Tambe

Sci. Robotics, 2021

Tax-Aware Portfolio Construction via Convex Optimization.

[BibT_eX]

[DOI]

Nicholas Moehle

Stephen P. Boyd

Andrew Ang

J. Optim. Theory Appl., 2021

A Survey of Algorithms for Black-Box Safety Validation of Cyber-Physical Systems.

[BibT_eX]

[DOI]

J. Artif. Intell. Res., 2021

Efficient Large-Scale Multi-Drone Delivery using Transit Networks.

[BibT_eX]

[DOI]

Kiril Solovey

J. Artif. Intell. Res., 2021

Algorithms for Verifying Deep Neural Networks.

[BibT_eX]

[DOI]

Tomer Arnon

Christopher Lazarus

Christopher A. Strong

Clark W. Barrett

Found. Trends Optim., 2021

Reinforcement Learning for Industrial Control Network Cyber Security Orchestration.

[BibT_eX]

[DOI]

CoRR, 2021

Measurable Monte Carlo Search Error Bounds.

[BibT_eX]

[DOI]

CoRR, 2021

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

[BibT_eX]

[DOI]

CoRR, 2021

Preference-based Learning of Reward Function Features.

[BibT_eX]

[DOI]

Sydney M. Katz

Amir Maleki

Erdem Biyik

CoRR, 2021

WildfireDB: An Open-Source Dataset Connecting Wildfire Occurrence with Relevant Determinants.

[BibT_eX]

[DOI]

Ross D. Shachter

Proceedings of the Neural Information Processing Systems Track on Datasets and Benchmarks 1, 2021

Evidential Softmax for Sparse Multimodal Distributions in Deep Generative Models.

[BibT_eX]

[DOI]

Phil Chen

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.

[BibT_eX]

[DOI]

Cesar Cadena

Proceedings of the 24th IEEE International Intelligent Transportation Systems Conference, 2021

3D Radar Velocity Maps for Uncertain Dynamic Environments.

[BibT_eX]

[DOI]

Kyle Beltran Hatch

Jason Zheng

Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, 2021

Attention Augmented ConvLSTM for Environment Prediction.

[BibT_eX]

[DOI]

Bernard Lange

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.

[BibT_eX]

[DOI]

Ahmed Nassar

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.

[BibT_eX]

[DOI]

Christopher Lazarus

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.

[BibT_eX]

[DOI]

Maneekwan Toyungyernsub

Proceedings of the IEEE International Conference on Robotics and Automation, 2021

Reinforcement Learning for Autonomous Driving with Latent State Inference and Spatial-Temporal Relationships.

[BibT_eX]

[DOI]

Jiachen Li

David Isele

Proceedings of the IEEE International Conference on Robotics and Automation, 2021

Dyadic Sex Composition and Task Classification Using fNIRS Hyperscanning Data.

[BibT_eX]

[DOI]

Liam A. Kruse

Allan L. Reiss

Stephanie Balters

Proceedings of the 20th IEEE International Conference on Machine Learning and Applications, 2021

Hierarchical planning for resource allocation in emergency response systems.

[BibT_eX]

[DOI]

Geoffrey Pettet

Proceedings of the ICCPS '21: ACM/IEEE 12th International Conference on Cyber-Physical Systems, 2021

Deep Implicit Coordination Graphs for Multi-agent Reinforcement Learning.

[BibT_eX]

[DOI]

Proceedings of the AAMAS '21: 20th International Conference on Autonomous Agents and Multiagent Systems, 2021

Scalable Anytime Planning for Multi-Agent MDPs.

[BibT_eX]

[DOI]

Peter Morales

Proceedings of the AAMAS '21: 20th International Conference on Autonomous Agents and Multiagent Systems, 2021

Bayesian Optimized Monte Carlo Planning.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021

Improved POMDP Tree Search Planning with Prioritized Action Branching.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021

Transfer Learning for Efficient Iterative Safety Validation.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021

2020

Airspace-Encounter-Models/em-model-manned-bayes: BSD-2 License.

[BibT_eX]

[DOI]

Dataset, September, 2020

Airspace-Encounter-Models/em-model-manned-bayes: Additional models added + minor updates.

[BibT_eX]

[DOI]

Dataset, August, 2020

Airspace-Encounter-Models/em-model-manned-bayes: Initial public release.

[BibT_eX]

[DOI]

Dataset, May, 2020

Normalized Stanford Helicopter Dataset.

[BibT_eX]

[DOI]

Mykel John Kochenderfer

Dataset, February, 2020

Combining Planning and Deep Reinforcement Learning in Tactical Decision Making for Autonomous Driving.

[BibT_eX]

[DOI]

Carl-Johan Hoel

Krister Wolff

Leo Laine

IEEE Trans. Intell. Veh., 2020

Adaptive Stress Testing: Finding Likely Failure Events with Reinforcement Learning.

[BibT_eX]

[DOI]

J. Artif. Intell. Res., 2020

Estimation and control using sampling-based Bayesian reinforcement learning.

[BibT_eX]

[DOI]

Patrick Slade

IET Cyper-Phys. Syst.: Theory & Appl., 2020

Obstacle Avoidance Using a Monocular Camera.

[BibT_eX]

[DOI]

Kyle Hatch

CoRR, 2020

Adaptive Stress Testing of Trajectory Predictions in Flight Management Systems.

[BibT_eX]

[DOI]

CoRR, 2020

Runtime Safety Assurance Using Reinforcement Learning.

[BibT_eX]

[DOI]

Christopher Lazarus

James G. Lopez

CoRR, 2020

Attention Augmented ConvLSTM forEnvironment Prediction.

[BibT_eX]

[DOI]

Bernard Lange

CoRR, 2020

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

[BibT_eX]

[DOI]

CoRR, 2020

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

[BibT_eX]

[DOI]

Sheng Li

CoRR, 2020

Towards Recurrent Autoregressive Flow Models.

[BibT_eX]

[DOI]

Peter Morales

CoRR, 2020

Modeling and Prediction of Human Driver Behavior: A Survey.

[BibT_eX]

[DOI]

Kyle Brown

CoRR, 2020

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

[BibT_eX]

[DOI]

CoRR, 2020

Improving Automated Driving through Planning with Human Internal States.

[BibT_eX]

[DOI]

CoRR, 2020

A Survey of Algorithms for Black-Box Safety Validation.

[BibT_eX]

[DOI]

CoRR, 2020

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

[BibT_eX]

[DOI]

Oriana Peltzer

Kyle Brown

Mac Schwager

Martin A. Sehr

CoRR, 2020

The Adaptive Stress Testing Formulation.

[BibT_eX]

[DOI]

CoRR, 2020

Model primitives for hierarchical lifelong reinforcement learning.

[BibT_eX]

[DOI]

Bohan Wu

Auton. Agents Multi Agent Syst., 2020

Robust Spatial-Temporal Incident Prediction.

[BibT_eX]

[DOI]

Kai Wang

Andrew Perrault

Milind Tambe

Yevgeniy Vorobeychik

Proceedings of the Thirty-Sixth Conference on Uncertainty in Artificial Intelligence, 2020

Active Preference-Based Gaussian Process Regression for Reward Learning.

[BibT_eX]

[DOI]

Erdem Biyik

Nicolas Huynh

Proceedings of the Robotics: Science and Systems XVI, 2020

Provably Efficient Reward-Agnostic Navigation with Linear Value Iteration.

[BibT_eX]

[DOI]

Alessandro Lazaric

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.

[BibT_eX]

[DOI]

Jiaxuan You

Daisy Yi Ding

Jure Leskovec

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.

[BibT_eX]

[DOI]

Boris Ivanovic

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.

[BibT_eX]

[DOI]

Proceedings of the 2nd Annual Conference on Learning for Dynamics and Control, 2020

Directional Primitives for Uncertainty-Aware Motion Estimation in Urban Environments.

[BibT_eX]

[DOI]

Maneekwan Toyungyernsub

Mingyu Wang

Mac Schwager

Proceedings of the 23rd IEEE International Conference on Intelligent Transportation Systems, 2020

Adaptive Stress Testing without Domain Heuristics using Go-Explore.

[BibT_eX]

[DOI]

Proceedings of the 23rd IEEE International Conference on Intelligent Transportation Systems, 2020

Validation of Image-Based Neural Network Controllers through Adaptive Stress Testing.

[BibT_eX]

[DOI]

Proceedings of the 23rd IEEE International Conference on Intelligent Transportation Systems, 2020

Scalable Autonomous Vehicle Safety Validation through Dynamic Programming and Scene Decomposition.

[BibT_eX]

[DOI]

Proceedings of the 23rd IEEE International Conference on Intelligent Transportation Systems, 2020

Interpretable Safety Validation for Autonomous Vehicles.

[BibT_eX]

[DOI]

Proceedings of the 23rd IEEE International Conference on Intelligent Transportation Systems, 2020

Reinforcement Learning with Iterative Reasoning for Merging in Dense Traffic.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the 2020 IEEE International Conference on Robotics and Automation, 2020

Reinforcement Learning for Adaptive Illumination with X-rays.

[BibT_eX]

[DOI]

Jean-Raymond Betterton

Daniel Ratner

Samuel Webb

Proceedings of the 2020 IEEE International Conference on Robotics and Automation, 2020

Learning Near Optimal Policies with Low Inherent Bellman Error.

[BibT_eX]

[DOI]

Alessandro Lazaric

Proceedings of the 37th International Conference on Machine Learning, 2020

Scalable Identification of Partially Observed Systems with Certainty-Equivalent EM.

[BibT_eX]

[DOI]

Proceedings of the 37th International Conference on Machine Learning, 2020

Normalizing Flow Policies for Multi-agent Systems.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Geoffrey Pettet

Yevgeniy Vorobeychik

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.

[BibT_eX]

[DOI]

Proceedings of the 19th International Conference on Autonomous Agents and Multiagent Systems, 2020

Multi-agent Adversarial Inverse Reinforcement Learning with Latent Variables.

[BibT_eX]

[DOI]

Nate Gruver

Jiaming Song

Stefano Ermon

Proceedings of the 19th International Conference on Autonomous Agents and Multiagent Systems, 2020

Exchangeable Input Representations for Reinforcement Learning.

[BibT_eX]

[DOI]

Proceedings of the 2020 American Control Conference, 2020

Online Parameter Estimation for Human Driver Behavior Prediction.

[BibT_eX]

[DOI]

Raunak P. Bhattacharyya

Kyle Brown

Proceedings of the 2020 American Control Conference, 2020

Adaptive Informative Path Planning with Multimodal Sensing.

[BibT_eX]

[DOI]

Nate Gruver

Proceedings of the Thirtieth International Conference on Automated Planning and Scheduling, 2020

Designing Emergency Response Pipelines : Lessons and Challenges.

[BibT_eX]

[DOI]

Geoffrey Pettet

Proceedings of the AAAI Fall Symposium on AI for Social Good, 2020

Uncertainty Aware Wildfire Management.

[BibT_eX]

[DOI]

Proceedings of the AAAI Fall Symposium on AI for Social Good, 2020

Point-Based Methods for Model Checking in Partially Observable Markov Decision Processes.

[BibT_eX]

[DOI]

Jana Tumova

Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020

2019

Toward Closing the Loop on Human Values.

[BibT_eX]

[DOI]

Sarah M. Thornton

Benjamin Limonchik

Francis E. Lewis

J. Christian Gerdes

IEEE Trans. Intell. Veh., 2019

Deep Reinforcement Learning for Event-Driven Multi-Agent Decision Processes.

[BibT_eX]

[DOI]

David H. Wolpert

IEEE Trans. Intell. Transp. Syst., 2019

Learning Probabilistic Trajectory Models of Aircraft in Terminal Airspace From Position Data.

[BibT_eX]

[DOI]

Shane T. Barratt

Stephen P. Boyd

IEEE Trans. Intell. Transp. Syst., 2019

Recovering missing CFD data for high-order discretizations using deep neural networks and dynamics learning.

[BibT_eX]

[DOI]

Kevin T. Carlberg

Antony Jameson

Liqian Peng

J. Comput. Phys., 2019

Unifying System Health Management and Automated Decision Making.

[BibT_eX]

[DOI]

Edward Balaban

Stephen B. Johnson

J. Artif. Intell. Res., 2019

Tutorial on the generation of ergodic trajectories with projection-based gradient descent.

[BibT_eX]

[DOI]

IET Cyper-Phys. Syst.: Theory & Appl., 2019

Optimizing Collision Avoidance in Dense Airspace using Deep Reinforcement Learning.

[BibT_eX]

[DOI]

Sheng Li

CoRR, 2019

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

[BibT_eX]

[DOI]

CoRR, 2019

Parameter-Conditioned Sequential Generative Modeling of Fluid Flows.

[BibT_eX]

[DOI]

CoRR, 2019

Markov Decision Processes For Multi-Objective Satellite Task Planning.

[BibT_eX]

[DOI]

CoRR, 2019

Adaptive Stress Testing with Reward Augmentation for Autonomous Vehicle Validation.

[BibT_eX]

[DOI]

Peter Du

CoRR, 2019

Health-Informed Policy Gradients for Multi-Agent Reinforcement Learning.

[BibT_eX]

[DOI]

Ross E. Allen

Javona White Bear

CoRR, 2019

Learning an Urban Air Mobility Encounter Model from Expert Preferences.

[BibT_eX]

[DOI]

Sydney M. Katz

Anne-Claire Le Bihan

CoRR, 2019

Hybrid Planning for Dynamic Multimodal Stochastic Shortest Paths.

[BibT_eX]

[DOI]

CoRR, 2019

Object Exchangeability in Reinforcement Learning: Extended Abstract.

[BibT_eX]

[DOI]

CoRR, 2019

Satellite Image Tasking Under Orbit Prediction Uncertainty.

[BibT_eX]

[DOI]

CoRR, 2019

Reinforcement Learning with Probabilistic Guarantees for Autonomous Driving.

[BibT_eX]

[DOI]

Jana Tumova

CoRR, 2019

Algorithms for Verifying Deep Neural Networks.

[BibT_eX]

[DOI]

CoRR, 2019

Rethinking System Health Management.

[BibT_eX]

[DOI]

Edward Balaban

Stephen B. Johnson

CoRR, 2019

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

[BibT_eX]

[DOI]

Shivam Sharma

Jean-Baptiste Jeannin

CoRR, 2019

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

[BibT_eX]

[DOI]

CoRR, 2019

A General Framework for Structured Learning of Mechanical Systems.

[BibT_eX]

[DOI]

CoRR, 2019

Dynamic Real-time Multimodal Routing with Hierarchical Hybrid Planning.

[BibT_eX]

[DOI]

CoRR, 2019

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

[BibT_eX]

[DOI]

CoRR, 2019

Decomposition methods with deep corrections for reinforcement learning.

[BibT_eX]

[DOI]

Auton. Agents Multi Agent Syst., 2019

Limiting Extrapolation in Linear Approximate Value Iteration.

[BibT_eX]

[DOI]

Alessandro Lazaric

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the 2019 IEEE Intelligent Vehicles Symposium, 2019

Pedestrian Collision Avoidance System for Scenarios with Occlusions.

[BibT_eX]

[DOI]

Markus Schratter

Daniel Watzenig

Proceedings of the 2019 IEEE Intelligent Vehicles Symposium, 2019

Dynamic Real-time Multimodal Routing with Hierarchical Hybrid Planning.

[BibT_eX]

[DOI]

Jacob P. Knickerbocker

Proceedings of the 2019 IEEE Intelligent Vehicles Symposium, 2019

Safe Reinforcement Learning with Scene Decomposition for Navigating Complex Urban Environments.

[BibT_eX]

[DOI]

Alireza Nakhaei

Proceedings of the 2019 IEEE Intelligent Vehicles Symposium, 2019

Efficient Autonomy Validation in Simulation with Adaptive Stress Testing.

[BibT_eX]

[DOI]

Proceedings of the 2019 IEEE Intelligent Transportation Systems Conference, 2019

Dynamic Environment Prediction in Urban Scenes using Recurrent Representation Learning.

[BibT_eX]

[DOI]

Proceedings of the 2019 IEEE Intelligent Transportation Systems Conference, 2019

Adaptive Stress Testing with Reward Augmentation for Autonomous Vehicle Validatio.

[BibT_eX]

[DOI]

Peter Du

Proceedings of the 2019 IEEE Intelligent Transportation Systems Conference, 2019

Cooperation-Aware Reinforcement Learning for Merging in Dense Traffic.

[BibT_eX]

[DOI]

Alireza Nakhaei

Proceedings of the 2019 IEEE Intelligent Transportation Systems Conference, 2019

EnsembleDAgger: A Bayesian Approach to Safe Imitation Learning.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019

Monte Carlo Tree Search for Policy Optimization.

[BibT_eX]

[DOI]

Zongzhang Zhang

Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019

HG-DAgger: Interactive Imitation Learning with Human Experts.

[BibT_eX]

[DOI]

Michael Kelly

Chelsea Sidrane

Proceedings of the International Conference on Robotics and Automation, 2019

Hunting Drones with Other Drones: Tracking a Moving Radio Target.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Robotics and Automation, 2019

Simulating Emergent Properties of Human Driving Behavior Using Multi-Agent Reward Augmented Imitation Learning.

[BibT_eX]

[DOI]

Raunak P. Bhattacharyya

Derek J. Phillips

Proceedings of the International Conference on Robotics and Automation, 2019

Stochastic Model Predictive Control for Scheduling Charging of Electric Vehicle Fleets with Market Power.

[BibT_eX]

[DOI]

Arec L. Jamgochian

Proceedings of the 2019 IEEE International Conference on Connected Vehicles and Expo, 2019

The Marabou Framework for Verification and Analysis of Deep Neural Networks.

[BibT_eX]

[DOI]

Clark W. Barrett

Proceedings of the Computer Aided Verification - 31st International Conference, 2019

Model Primitive Hierarchical Lifelong Reinforcement Learning.

[BibT_eX]

[DOI]

Bohan Wu

Proceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems, 2019

Object Exchangability in Reinforcement Learning.

[BibT_eX]

[DOI]

Proceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems, 2019

2018

Horizontal Maneuver Coordination for Aircraft Collision-Avoidance Systems.

[BibT_eX]

[DOI]

Rachael E. Tompa

Blake Wulfe

Michael P. Owen

J. Aerosp. Inf. Syst., February, 2018

Closed-Loop Policies for Operational Tests of Safety-Critical Systems.

[BibT_eX]

[DOI]

IEEE Trans. Intell. Veh., 2018

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

[BibT_eX]

[DOI]

Kyle Julian

Rachael E. Tompa

CoRR, 2018

Adaptive Stress Testing: Finding Failure Events with Reinforcement Learning.

[BibT_eX]

[DOI]

CoRR, 2018

Distributed Wildfire Surveillance with Autonomous Aircraft using Deep Reinforcement Learning.

[BibT_eX]

[DOI]

CoRR, 2018

Deep Neural Network Compression for Aircraft Collision Avoidance Systems.

[BibT_eX]

[DOI]

Michael P. Owen

CoRR, 2018

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

[BibT_eX]

[DOI]

CoRR, 2018

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

[BibT_eX]

[DOI]

CoRR, 2018

Analyzing Traffic Delay at Unmanaged Intersections.

[BibT_eX]

[DOI]

CoRR, 2018

Toward Scalable Verification for Safety-Critical Deep Networks.

[BibT_eX]

[DOI]

CoRR, 2018

Interpretable Categorization of Heterogeneous Time Series Data.

[BibT_eX]

[DOI]

Ole J. Mengshoel

Joshua Silbermann

Proceedings of the 2018 SIAM International Conference on Data Mining, 2018

Robust Super-Level Set Estimation Using Gaussian Processes.

[BibT_eX]

[DOI]

Junzi Zhang

Proceedings of the Machine Learning and Knowledge Discovery in Databases, 2018

Amortized Inference Regularization.

[BibT_eX]

[DOI]

Rui Shu

Hung H. Bui

Shengjia Zhao

Stefano Ermon

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.

[BibT_eX]

[DOI]

Antony Jameson

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.

[BibT_eX]

[DOI]

Sarah M. Thornton

Francis E. Lewis

Vivian Zhang

J. Christian Gerdes

Proceedings of the 2018 IEEE Intelligent Vehicles Symposium, 2018

Exploiting Hierarchy for Scalable Decision Making in Autonomous Driving.

[BibT_eX]

[DOI]

Ekhlas Sonu

Proceedings of the 2018 IEEE Intelligent Vehicles Symposium, 2018

Improved Robustness and Safety for Autonomous Vehicle Control with Adversarial Reinforcement Learning.

[BibT_eX]

[DOI]

Proceedings of the 2018 IEEE Intelligent Vehicles Symposium, 2018

Adaptive Stress Testing for Autonomous Vehicles.

[BibT_eX]

[DOI]

Saud Alsaif

Proceedings of the 2018 IEEE Intelligent Vehicles Symposium, 2018

Closed-Loop Planning for Disaster Evacuation with Stochastic Arrivals.

[BibT_eX]

[DOI]

Chelsea Sidrane

Proceedings of the 21st International Conference on Intelligent Transportation Systems, 2018

Analytically Modeling Unmanaged Intersections with Microscopic Vehicle Interactions.

[BibT_eX]

[DOI]

Proceedings of the 21st International Conference on Intelligent Transportation Systems, 2018

Gaussian Process Dynamic Programming for Optimizing Ungrounded Haptic Guidance.

[BibT_eX]

[DOI]

Julie M. Walker

Allison M. Okamura

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.

[BibT_eX]

[DOI]

Yi-Chun Chen

Matthijs T. J. Spaan

Proceedings of the 2018 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2018

Multi-Agent Imitation Learning for Driving Simulation.

[BibT_eX]

[DOI]

Raunak P. Bhattacharyya

Proceedings of the 2018 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2018

People as Sensors: Imputing Maps from Human Actions.

[BibT_eX]

[DOI]

Oladapo Afolabi

Roy Dong

S. Shankar Sastry

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.

[BibT_eX]

[DOI]

Proceedings of the 2018 IEEE International Conference on Robotics and Automation, 2018

Scalable Decision Making with Sensor Occlusions for Autonomous Driving.

[BibT_eX]

[DOI]

Alireza Nakhaei

Proceedings of the 2018 IEEE International Conference on Robotics and Automation, 2018

Rethinking Style and Content Disentanglement in Variational Autoencoders.

[BibT_eX]

[DOI]

Rui Shu

Shengjia Zhao

Proceedings of the 6th International Conference on Learning Representations, 2018

Using Neural Networks to Generate Information Maps for Mobile Sensors.

[BibT_eX]

[DOI]

Proceedings of the 57th IEEE Conference on Decision and Control, 2018

Real-Time Prediction of Intermediate-Horizon Automotive Collision Risk.

[BibT_eX]

[DOI]

Proceedings of the 17th International Conference on Autonomous Agents and MultiAgent Systems, 2018

Multi-Agent Reinforcement Learning for Multi-Object Tracking.

[BibT_eX]

[DOI]

Pol Rosello

Proceedings of the 17th International Conference on Autonomous Agents and MultiAgent Systems, 2018

Burn-In Demonstrations for Multi-Modal Imitation Learning.

[BibT_eX]

[DOI]

Alex Kuefler

Proceedings of the 17th International Conference on Autonomous Agents and MultiAgent Systems, 2018

Utility Decomposition with Deep Corrections for Scalable Planning under Uncertainty.

[BibT_eX]

[DOI]

Proceedings of the 17th International Conference on Autonomous Agents and MultiAgent Systems, 2018

On the Optimality of Ergodic Trajectories for Information Gathering Tasks.

[BibT_eX]

[DOI]

Proceedings of the 2018 Annual American Control Conference, 2018

Online Algorithms for POMDPs with Continuous State, Action, and Observation Spaces.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

IEEE Trans. Intell. Transp. Syst., 2017

Learning Traffic Patterns at Small Airports From Flight Tracks.

[BibT_eX]

[DOI]

Zouhair Mahboubi

IEEE Trans. Intell. Transp. Syst., 2017

POMDPs.jl: A Framework for Sequential Decision Making under Uncertainty.

[BibT_eX]

[DOI]

J. Mach. Learn. Res., 2017

Learning Discrete Bayesian Networks from Continuous Data.

[BibT_eX]

[DOI]

Yi-Chun Chen

J. Artif. Intell. Res., 2017

A comparison of Monte Carlo tree search and rolling horizon optimization for large-scale dynamic resource allocation problems.

[BibT_eX]

[DOI]

Dimitris Bertsimas

J. Daniel Griffith

Vishal Gupta

Velibor V. Misic

Eur. J. Oper. Res., 2017

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

[BibT_eX]

[DOI]

CoRR, 2017

DropoutDAgger: A Bayesian Approach to Safe Imitation Learning.

[BibT_eX]

[DOI]

CoRR, 2017

Towards Proving the Adversarial Robustness of Deep Neural Networks.

[BibT_eX]

[DOI]

Proceedings of the Proceedings First Workshop on Formal Verification of Autonomous Vehicles, 2017

Optimal Testing of Self-Driving Cars.

[BibT_eX]

[DOI]

CoRR, 2017

Heuristics for planning with rare catastrophic events.

[BibT_eX]

[DOI]

Youngjun Kim

Yonatan Gur

Proceedings of the 2017 Winter Simulation Conference, 2017

Layer-wise synapse optimization for implementing neural networks on general neuromorphic architectures.

[BibT_eX]

[DOI]

Proceedings of the 2017 IEEE Symposium Series on Computational Intelligence, 2017

Deep stochastic radar models.

[BibT_eX]

[DOI]

Martin Holder

Hermann Winner

Proceedings of the IEEE Intelligent Vehicles Symposium, 2017

Generalizable intention prediction of human drivers at intersections.

[BibT_eX]

[DOI]

Derek J. Phillips

Proceedings of the IEEE Intelligent Vehicles Symposium, 2017

Imitating driver behavior with generative adversarial networks.

[BibT_eX]

[DOI]

Alex Kuefler

Proceedings of the IEEE Intelligent Vehicles Symposium, 2017

Belief state planning for autonomously navigating urban intersections.

[BibT_eX]

[DOI]

Akansel Cosgun

Proceedings of the IEEE Intelligent Vehicles Symposium, 2017

Simultaneous policy learning and latent state inference for imitating driver behavior.

[BibT_eX]

[DOI]

Proceedings of the 20th IEEE International Conference on Intelligent Transportation Systems, 2017

Simultaneous active parameter estimation and control using sampling-based Bayesian reinforcement learning.

[BibT_eX]

[DOI]

Patrick Slade

Preston Culbertson

Proceedings of the 2017 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2017

Weighted Double Q-learning.

[BibT_eX]

[DOI]

Zongzhang Zhang

Zhiyuan Pan

Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

Geometric Concept Acquisition in a Dueling Deep Q-Network.

[BibT_eX]

[DOI]

Alex Kuefler

James L. McClelland

Proceedings of the 39th Annual Meeting of the Cognitive Science Society, 2017

Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification - 29th International Conference, 2017

Cooperative Multi-agent Control Using Deep Reinforcement Learning.

[BibT_eX]

[DOI]

Proceedings of the Autonomous Agents and Multiagent Systems, 2017

The value of inferring the internal state of traffic participants for autonomous freeway driving.

[BibT_eX]

[DOI]

Christopher J. Ho

Proceedings of the 2017 American Control Conference, 2017

Efficient Decision-Theoretic Target Localization.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Seventh International Conference on Automated Planning and Scheduling, 2017

2016

Ground Delay Program Planning Using Markov Decision Processes.

[BibT_eX]

[DOI]

Jonathan Cox

J. Aerosp. Inf. Syst., 2016

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

[BibT_eX]

[DOI]

CoRR, 2016

Decision-theoretic approach to designing cyber resilient systems.

[BibT_eX]

[DOI]

Proceedings of the 15th IEEE International Symposium on Network Computing and Applications, 2016

Analysis of microscopic behavior models for probabilistic modeling of driver behavior.

[BibT_eX]

[DOI]

Proceedings of the 19th IEEE International Conference on Intelligent Transportation Systems, 2016

Factor graph scene distributions for automotive safety analysis.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the 2016 IEEE International Conference on Robotics and Automation, 2016

Customer Simulation for Direct Marketing Experiments.

[BibT_eX]

[DOI]

Yegor Tkachenko

Krzysztof Kluza

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.

[BibT_eX]

[DOI]

Frans A. Oliehoek

Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, 2016

Target Surveillance in Adversarial Environments Using POMDPs.

[BibT_eX]

[DOI]

Jaak J. Uudmae

Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, 2016

2015

Optimizing a Collision-Avoidance System for Closely Spaced Parallel Operations.

[BibT_eX]

[DOI]

Kyle A. Smith

Adan E. Vela

Wesley A. Olson

J. Aerosp. Inf. Syst., 2015

Bayesian Preference Elicitation for Multiobjective Engineering Design Optimization.

[BibT_eX]

[DOI]

John R. Lepird

Michael P. Owen

J. Aerosp. Inf. Syst., 2015

Introduction to the Special Issue on Optimal Decision Making in Aerospace Systems.

[BibT_eX]

[DOI]

J. Aerosp. Inf. Syst., 2015

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

[BibT_eX]

[DOI]

Frans A. Oliehoek

CoRR, 2015

A Probabilistic Framework for Microscopic Traffic Propagation.

[BibT_eX]

[DOI]

Proceedings of the IEEE 18th International Conference on Intelligent Transportation Systems, 2015

Initial Scene Configurations for Highway Traffic Propagation.

[BibT_eX]

[DOI]

Proceedings of the IEEE 18th International Conference on Intelligent Transportation Systems, 2015

Continous time autonomous air traffic control for non-towered airports.

[BibT_eX]

[DOI]

Zouhair Mahboubi

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

Control of epidemics on graphs.

[BibT_eX]

[DOI]

Christopher Ho

Vineet Mehta

Rajmonda Sulo Caceres

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.

[BibT_eX]

[DOI]

Dimitris Bertsimas

J. Daniel Griffith

Vishal Gupta

Velibor V. Misic

Robert J. Moss

CoRR, 2014

2013

Compression of Optimal Value Functions for Markov Decision Processes.

[BibT_eX]

[DOI]

Nicholas Monath

Proceedings of the 2013 Data Compression Conference, 2013

Decentralized control of partially observable Markov decision processes.

[BibT_eX]

[DOI]

Proceedings of the 52nd IEEE Conference on Decision and Control, 2013

2012

Predicting the behavior of interacting humans by fusing data from multiple sources.

[BibT_eX]

[DOI]

Erik J. Schlicht

David H. Wolpert

Brendan D. Tracey

Proceedings of the Twenty-Eighth Conference on Uncertainty in Artificial Intelligence, 2012

2011

Aircraft Collision Avoidance Using Monte Carlo Real-Time Belief Space Search.

[BibT_eX]

[DOI]

Travis B. Wolf

J. Intell. Robotic Syst., 2011

Unmanned Aircraft Collision Avoidance using Continuous-State POMDPs.

[BibT_eX]

[DOI]

Haoyu Bai

David Hsu

Wee Sun Lee

Proceedings of the Robotics: Science and Systems VII, 2011

Analysis of open-loop and closed-loop planning for aircraft collision avoidance.

[BibT_eX]

[DOI]

Proceedings of the 14th International IEEE Conference on Intelligent Transportation Systems, 2011

Collision Avoidance Using Partially Controlled Markov Decision Processes.

[BibT_eX]

[DOI]

Proceedings of the Agents and Artificial Intelligence - Third International Conference, 2011

Partially-controlled Markov Decision Processes for Collision Avoidance Systems.

[BibT_eX]

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.

[BibT_eX]

[DOI]

Proceedings of the American Control Conference, 2011

2010

A decision-theoretic approach to developing robust collision avoidance logic.

[BibT_eX]

[DOI]

Proceedings of the 13th International IEEE Conference on Intelligent Transportation Systems, 2010

2006

Adaptive modelling and planning for learning intelligent behaviour.

[BibT_eX]

[DOI]

PhD thesis, 2006

2005

Adaptive Modeling and Planning for Reactive Agents.

[BibT_eX]

[DOI]

Proceedings of the Proceedings, 2005

2004

Common Sense Data Acquisition for Indoor Mobile Robots.

[BibT_eX]

[DOI]

Rakesh Gupta

Proceedings of the Nineteenth National Conference on Artificial Intelligence, 2004

2003

Evolving Hierarchical and Recursive Teleo-reactive Programs through Genetic Programming.

[BibT_eX]

[DOI]