{"total":16,"rows":[{"id":"2511.18606","title":"How to Train Your Latent Control Barrier Function: Smooth Safety Filtering Under Hard-to-Model Constraints","created":"2025-11-23","cited_by_count":9,"area":null},{"id":"2511.07899","title":"Statistically Assuring Safety of Control Systems using Ensembles of Safety Filters and Conformal Prediction","created":"2025-11-11","cited_by_count":4,"area":null},{"id":"2503.02012","title":"Pretrained Embeddings as a Behavior Specification Mechanism","created":"2025-03-03","cited_by_count":3,"area":null},{"id":"2601.05637","title":"GenCtrl -- A Formal Controllability Toolkit for Generative Models","created":"2026-01-09","cited_by_count":2,"area":null},{"id":"2604.18482","title":"Safe Control using Learned Safety Filters and Adaptive Conformal Inference","created":"2026-04-20","cited_by_count":2,"area":null},{"id":"2510.21560","title":"Learning Neural Control Barrier Functions from Expert Demonstrations using Inverse Constraint Learning","created":"2025-10-24","cited_by_count":1,"area":null},{"id":"2512.13593","title":"Verification of Unknown Dynamical Systems via Autoencoder Latent Space","created":"2025-12-15","cited_by_count":1,"area":null},{"id":"2604.07457","title":"CMP: Robust Whole-Body Tracking for Loco-Manipulation via Competence Manifold Projection","created":"2026-04-08","cited_by_count":1,"area":null},{"id":"2606.02562","title":"Permissive Safety Through Trusted Inference: Verifiable Belief-Space Neural Safety Filters for Assured Interactive Robotics","created":"2026-06-01","cited_by_count":1,"area":null},{"id":"2602.23524","title":"V-MORALS: Visual Morse Graph-Aided Estimation of Regions of Attraction in a Learned Latent Space","created":"2026-02-26","cited_by_count":0,"area":null},{"id":"2606.03954","title":"VLESA: Vision-Language Embodied Safety Agent for Human Activity Monitoring","created":"2026-06-02","cited_by_count":0,"area":null},{"id":"2606.31494","title":"Robustness of Robotic Manipulation: Foundations and Frontiers","created":"2026-06-30","cited_by_count":0,"area":null},{"id":"2608.05313","title":"Failing Gracefully: Mitigating Impact of Inevitable Robot Failures","created":"2026-08-05","cited_by_count":0,"area":null},{"id":"2608.11480","title":"Forward Trajectory Steering for Hamilton-Jacobi Reachability Analysis","created":"2026-08-11","cited_by_count":0,"area":null},{"id":"2609.09250","title":"No Free Checker: A Survey of Verifiers for Robot Policies","created":"2026-09-08","cited_by_count":0,"area":null},{"id":"2610.04297","title":"Latent Safety Filters: When a Lossy Encoder Admits a Transferable Certificate","created":"2026-10-03","cited_by_count":0,"area":null}],"next_cursor":null}