Latent Safety Filters: When a Lossy Encoder Admits a Transferable Certificate
eess.SY, cs.LG, cs.RO, cs.SY
Submitted: 2026-10-03
Updated: 2026-10-03
Sources
- Designing Latent Safety Filters using Pre-Trained Vision Models
- AnySafe: Adapting Latent Safety Filters at Runtime via Safety Constraint Parameterization in the Latent Space
- On transferring safety certificates across dynamical systems
- Verification of Unknown Dynamical Systems via Autoencoder Latent Space
- DINOv2: Learning Robust Visual Features without Supervision
- From Points to Sets: Set-Based Safety Verification in the Latent Space
- Reduced-order Control and Geometric Structure of Learned Lagrangian Latent Dynamics
Related papers
- One Request, Multiple Experts: LLM Orchestrates Domain Specific Models via Adaptive Task Routing
- A Geometric Decision Procedure for STL Feasibility and Repair
- From Asymptotic to Designer-Assigned-Time Control: A Review of Stability Notions, Design Mechanisms, and Controller Architectures
- Battery Second Life: A Review of Experimental Studies
- Submodular Multi-Agent Policy Learning for Online Distributed Task Allocation in Open Multi-Agent Systems
- Policy-Level Recursive Self-Improvement for Embodied AI with a Criticality World Model