Skip to content

Latest commit

 

History

History
38 lines (25 loc) · 1.72 KB

README.md

File metadata and controls

38 lines (25 loc) · 1.72 KB
Raw

Paper List

  • 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]