-
Robust Human Pose Estimation under Gaussian Noise [Abstract]
-
Enforcing Safety for Vision-Based Controllers Via Control Barrier Functions and Neural Radiance Fields [Abstract]
-
Mimicking Real Forces on a Drone through a Haptic Suit to Enable Cost-Effective Validation [Abstract]
-
Generating Formal Safety Assurances for High-Dimensional Reachability [Abstract]
-
Safety Evaluation of Robot Systems Via Uncertainty Quantification [Abstract]
-
Safety-Critical Controller Verification Via Sim2Real Gap Quantification [Abstract]
-
One-Shot Reachability Analysis of Neural Network Dynamical Systems [Abstract]
-
Parameter-Conditioned Reachable Sets for Updating Safety Assurances Online [Abstract]
-
Hazard Analysis of Collaborative Automation Systems: A Two-Layer Approach Based on Supervisory Control and Simulation [Abstract]
-
SmartRainNet: Uncertainty Estimation for Laser Measurement in Rain [Abstract]
-
Data-Driven Optimal Control under Safety Constraints Using Sparse Koopman Approximation [Abstract]
-
Predictive Runtime Verification of Skill-Based Robotic Systems Using Petri Nets [Abstract]