Feasibility Restoration under Conflicting STL Specifications with Pareto-Optimal Refinement

This paper proposes a unified two-stage framework that restores feasibility for conflicting Signal Temporal Logic (STL) specifications by first applying minimal relaxation and then refining the solution through Pareto-optimal multi-objective optimization, thereby enabling interpretable decision-making and avoiding deadlocks in safety-critical applications like autonomous driving.

Tianhao Wu, Yiwei LyuTue, 10 Ma💻 cs

Is Your Safe Controller Actually Safe? A Critical Review of CBF Tautologies and Hidden Assumptions

This tutorial critically examines the gap between theoretical Control Barrier Function (CBF) guarantees and practical implementation in robotics, revealing how common misuses and hidden assumptions often lead to tautological safety claims in passively safe systems while offering guidelines and interactive tools to construct valid safety arguments for systems with input constraints.

Taekyung KimTue, 10 Ma💻 cs

Energy-Efficient Collaborative Transport of Tether-Suspended Payloads via Rotating Equilibrium

This paper proposes a rotating equilibrium strategy for collaborative tethered aerial transport, where steady circular motion generates centrifugal forces to maintain tether tension, thereby enabling quadrotors to produce purely vertical thrust and reducing total power consumption by up to 20% compared to conventional static lifting methods.

Eric Foss, Andrew Tai, Carlo Bosio, Mark W. MuellerTue, 10 Ma💻 cs

VSL-Skin: Individually Addressable Phase-Change Voxel Skin for Variable-Stiffness and Virtual Joints Bridging Soft and Rigid Robots

This paper introduces VSL-Skin, a novel voxel-based phase-change system that bridges soft and rigid robotics by enabling individually addressable, centimeter-scale stiffness modulation, 30% axial compression, and autonomous self-repair to create programmable virtual joints and variable-stiffness morphologies.

Zihan Oliver Zeng, Jiajun An, Preston Luk, Upinder KaurTue, 10 Ma💻 cs

Foundational World Models Accurately Detect Bimanual Manipulator Failures

This paper introduces a lightweight, probabilistic world model built on a pretrained vision foundation model that generates uncertainty-based runtime monitors to accurately detect anomalous failures in bimanual manipulators, outperforming existing baselines while requiring significantly fewer trainable parameters.

Isaac R. Ward, Michelle Ho, Houjun Liu, Aaron Feldman, Joseph Vincent, Liam Kruse, Sean Cheong, Duncan Eddy, Mykel J. Kochenderfer, Mac SchwagerTue, 10 Ma💻 cs

SSP: Safety-guaranteed Surgical Policy via Joint Optimization of Behavioral and Spatial Constraints

This paper introduces the Safety-guaranteed Surgical Policy (SSP) framework, which integrates Neural ODE-based uncertainty modeling with robust Control Barrier Functions to enforce behavioral and spatial constraints, thereby ensuring near-zero safety violations while maintaining high task success rates in data-driven robot-assisted surgery.

Jianshu Hu, ZhiYuan Guan, Lei Song, Kantaphat Leelakunwet, Hesheng Wang, Wei Xiao, Qi Dou, Yutong BanTue, 10 Ma💻 cs

GuideTWSI: A Diverse Tactile Walking Surface Indicator Dataset from Synthetic and Real-World Images for Blind and Low-Vision Navigation

This paper introduces GuideTWSI, a diverse dataset combining synthetic and real-world images to address the scarcity of Tactile Walking Surface Indicator (TWSI) data, specifically bridging the gap between East Asian directional bars and North American/European truncated domes to improve navigation safety for blind and low-vision individuals.

Hochul Hwang, Soowan Yang, Anh N. H. Nguyen, Parth Goel, Krisha Adhikari, Sunghoon I. Lee, Joydeep Biswas, Nicholas A. Giudice, Donghyun KimTue, 10 Ma💻 cs

VLN-Cache: Enabling Token Caching for VLN Models with Visual/Semantic Dynamics Awareness

VLN-Cache addresses the inference cost of Vision-and-Language Navigation models by introducing a training-free token caching framework that overcomes the limitations of static assumptions through view-aligned remapping for visual dynamics and a saliency filter for semantic dynamics, achieving up to a 1.52x speedup while maintaining navigation performance.

Zihao Zheng, Zhihao Mao, Xingyue Zhou, Jiayu Chen, Maoliang Li, Xinhao Sun, Hailong Zou, Zhaobo Zhang, Xuanzhe Liu, Donggang Cao, Hong Mei, Xiang ChenTue, 10 Ma🤖 cs.LG

Efficient Trajectory Optimization for Autonomous Racing via Formula-1 Data-Driven Initialization

This paper proposes a data-driven initialization strategy for autonomous racing trajectory optimization that utilizes a neural network trained on Formula 1 telemetry to predict expert-like raceline offsets, thereby significantly accelerating solver convergence and reducing runtime compared to traditional geometric baselines while maintaining optimal lap times.

Samir Shehadeh, Lukas Kutsch, Nils Dengler, Sicong Pan, Maren BennewitzTue, 10 Ma💻 cs