{"total":13,"rows":[{"id":"2304.00194","title":"Safe Perception-Based Control under Stochastic Sensor Uncertainty using Conformal Prediction","created":"2023-04-01","cited_by_count":16,"area":null},{"id":"2103.02398","title":"Correct-by-construction reach-avoid control of partially observable linear stochastic systems","created":"2021-03-03","cited_by_count":5,"area":null},{"id":"2406.00826","title":"Policy Verification in Stochastic Dynamical Systems Using Logarithmic Neural Certificates","created":"2024-06-02","cited_by_count":4,"area":null},{"id":"2202.10658","title":"Decentralized Safe Multi-agent Stochastic Optimal Control using Deep FBSDEs and ADMM","created":"2022-02-22","cited_by_count":3,"area":null},{"id":"2203.15474","title":"Gaussian Control Barrier Functions : A Non-Parametric Paradigm to Safety","created":"2022-03-29","cited_by_count":2,"area":null},{"id":"2208.10733","title":"Recursively Feasible Probabilistic Safe Online Learning with Control Barrier Functions","created":"2022-08-23","cited_by_count":2,"area":null},{"id":"2404.16883","title":"Myopically Verifiable Probabilistic Certificates for Safe Control and Learning","created":"2024-04-23","cited_by_count":1,"area":null},{"id":"2405.13735","title":"Transfer of Safety Controllers Through Learning Deep Inverse Dynamics Model","created":"2024-05-22","cited_by_count":1,"area":null},{"id":"2307.08602","title":"CaRT: Certified Safety and Robust Tracking in Learning-based Motion Planning for Multi-Agent Systems","created":"2023-07-13","cited_by_count":0,"area":null},{"id":"2507.22385","title":"Set Invariance with Probability One for Controlled Diffusion: Score-based Approach","created":"2025-07-30","cited_by_count":0,"area":null},{"id":"2602.20076","title":"Robust Taylor-Lagrange Control for Safety-Critical Systems","created":"2026-02-23","cited_by_count":0,"area":null},{"id":"2603.24598","title":"Response-Aware Risk-Constrained Control Barrier Function With Application to Vehicles","created":"2026-03-13","cited_by_count":0,"area":null},{"id":"2604.09474","title":"SafeMind: A Risk-Aware Differentiable Control Framework for Adaptive and Safe Quadruped Locomotion","created":"2026-04-10","cited_by_count":0,"area":null}],"next_cursor":null}