20 citations · 50 across the 27 of their papers we have counts for
28 papers
OpenSCvx: An Open-Source Modular and Extensible Nonlinear Trajectory Planning Package
Christopher R. Hayner, Griffin J. Norris, Fabio Spada +4
Trajectory optimization computes dynamically feasible motions that enable autonomous systems to accomplish complex tasks while satisfying operational and environmental constraints.…
Discriminative Barrier Functions for Safe Adversarial Imitation Learning from Observation
Anubhav Vishwakarma, Bhaumik Mehta, Caleb Hsu +3
Inverse Reinforcement Learning (IRL) algorithms are powerful tools for learning from and generalizing expert demonstrations, but they often rely on unconstrained exploration, rende…
StressDream: Steering Video World Models for Robust Policy Evaluation and Improvement
Junwon Seo, Sushant Veer, Ran Tian +6
Video world models (WMs) have shown promise for policy evaluation and improvement by imagining realistic future observations conditioned on ego-robot actions. While WMs can model d…
Surprise Potential as a Measure of Interactivity in Driving Scenarios
Wenhao Ding, Sushant Veer, Karen Leung +2
Validating the safety and performance of an autonomous vehicle (AV) requires benchmarking on real-world driving logs. However, typical driving logs contain mostly uneventful scenar…
Driving Everywhere with Large Language Model Policy Adaptation
Boyi Li, Yue Wang, Jiageng Mao +4
Adapting driving behavior to new environments, customs, and laws is a long-standing problem in autonomous driving, precluding the widespread deployment of autonomous vehicles (AVs)…
MISFIT-V: Misaligned Image Synthesis and Fusion using Information from Thermal and Visual
Aadhar Chauhan, Isaac Remy, Danny Broyles +1
Detecting humans from airborne visual and thermal imagery is a fundamental challenge for Wilderness Search-and-Rescue (WiSAR) teams, who must perform this function accurately in th…
WiSARD: A Labeled Visual and Thermal Image Dataset for Wilderness Search and Rescue
Daniel Broyles, Christopher R. Hayner, Karen Leung
Sensor-equipped unoccupied aerial vehicles (UAVs) have the potential to help reduce search times and alleviate safety risks for first responders carrying out Wilderness Search and…
Refining Obstacle Perception Safety Zones via Maneuver-Based Decomposition
Sever Topan, Yuxiao Chen, Edward Schmerling +4
A critical task for developing safe autonomous driving stacks is to determine whether an obstacle is safety-critical, i.e., poses an imminent threat to the autonomous vehicle. Our…
Task-Aware Risk Estimation of Perception Failures for Autonomous Vehicles
Pasquale Antonante, Sushant Veer, Karen Leung +3
Safety and performance are key enablers for autonomous driving: on the one hand we want our autonomous vehicles (AVs) to be safe, while at the same time their performance (e.g., co…
HALO: Hazard-Aware Landing Optimization for Autonomous Systems
Christopher R. Hayner, Samuel C. Buckner, Daniel Broyles +3
With autonomous aerial vehicles enacting safety-critical missions, such as the Mars Science Laboratory Curiosity rover's landing on Mars, the tasks of automatically identifying and…
Learning Responsibility Allocations for Safe Human-Robot Interaction with Applications to Autonomous Driving
Ryan K. Cosner, Yuxiao Chen, Karen Leung +1
Drivers have a responsibility to exercise reasonable care to avoid collision with other road users. This assumed responsibility allows interacting agents to maintain safety without…
Receding Horizon Planning with Rule Hierarchies for Autonomous Vehicles
Sushant Veer, Karen Leung, Ryan Cosner +3
Autonomous vehicles must often contend with conflicting planning requirements, e.g., safety and comfort could be at odds with each other if avoiding a collision calls for slamming…
Cyber-Resilient Privacy Preservation and Secure Billing Approach for Smart Energy Metering Devices
Venkatesh Kumar M
Most of the smart applications, such as smart energy metering devices, demand strong privacy preservation to strengthen data privacy. However, it is difficult to protect the privac…
Task-Relevant Failure Detection for Trajectory Predictors in Autonomous Vehicles
Alec Farid, Sushant Veer, Boris Ivanovic +2
In modern autonomy stacks, prediction modules are paramount to planning motions in the presence of other mobile agents. However, failures in prediction modules can mislead the down…
Interaction-Dynamics-Aware Perception Zones for Obstacle Detection Safety Evaluation
Sever Topan, Karen Leung, Yuxiao Chen +5
To enable safe autonomous vehicle (AV) operations, it is critical that an AV's obstacle detection module can reliably detect obstacles that pose a safety threat (i.e., are safety-c…
Semi-Supervised Trajectory-Feedback Controller Synthesis for Signal Temporal Logic Specifications
Karen Leung, Marco Pavone
There are spatio-temporal rules that dictate how robots should operate in complex environments, e.g., road rules govern how (self-driving) vehicles should behave on the road. Howev…
Towards Data-Driven Synthesis of Autonomous Vehicle Safety Concepts
Karen Leung, Andrea Bajcsy, Edward Schmerling +1
As safety-critical autonomous vehicles (AVs) will soon become pervasive in our society, a number of safety concepts for trusted AV deployment have recently been proposed throughout…
On Infusing Reachability-Based Safety Assurance within Planning Frameworks for Human-Robot Vehicle Interactions
Karen Leung, Edward Schmerling, Mengxuan Zhang +4
Action anticipation, intent prediction, and proactive behavior are all desirable characteristics for autonomous driving policies in interactive scenarios. Paramount, however, is en…
Leveraging Neural Network Gradients within Trajectory Optimization for Proactive Human-Robot Interactions
Simon Schaefer, Karen Leung, Boris Ivanovic +1
To achieve seamless human-robot interactions, robots need to intimately reason about complex interaction dynamics and future human behaviors within their motion planning process. H…
Multimodal Deep Generative Models for Trajectory Prediction: A Conditional Variational Autoencoder Approach
Boris Ivanovic, Karen Leung, Edward Schmerling +1
Human behavior prediction models enable robots to anticipate how humans may react to their actions, and hence are instrumental to devising safe and proactive robot planning algorit…
Backpropagation through Signal Temporal Logic Specifications: Infusing Logical Structure into Gradient-Based Methods
Karen Leung, Nikos Aréchiga, Marco Pavone
This paper presents a technique, named STLCG, to compute the quantitative semantics of Signal Temporal Logic (STL) formulas using computation graphs. STLCG provides a platform whic…
Infusing Reachability-Based Safety into Planning and Control for Multi-agent Interactions
Xinrui Wang, Karen Leung, Marco Pavone
Within a robot autonomy stack, the planner and controller are typically designed separately, and serve different purposes. As such, there is often a diffusion of responsibilities w…
Better AI through Logical Scaffolding
Nikos Arechiga, Jonathan DeCastro, Soonho Kong +1
We describe the concept of logical scaffolds, which can be used to improve the quality of software that relies on AI components. We explain how some of the existing ideas on runtim…
On Infusing Reachability-Based Safety Assurance within Probabilistic Planning Frameworks for Human-Robot Vehicle Interactions
Karen Leung, Edward Schmerling, Mo Chen +3
Action anticipation, intent prediction, and proactive behavior are all desirable characteristics for autonomous driving policies in interactive scenarios. Paramount, however, is en…