1 citations · 1 across the 6 of their papers we have counts for
9 papers
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…
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…
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…
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…