{"total":18,"rows":[{"id":"2404.07956","title":"Lyapunov-stable Neural Control for State and Output Feedback: A Novel Formulation","created":"2024-04-11","cited_by_count":25,"area":null},{"id":"2210.05308","title":"Learning Control Policies for Stochastic Systems with Reach-avoid Guarantees","created":"2022-10-11","cited_by_count":23,"area":null},{"id":"2311.09793","title":"Fossil 2.0: Formal Certificate Synthesis for the Verification and Control of Dynamical Models","created":"2023-11-16","cited_by_count":15,"area":null},{"id":"2310.09360","title":"Exact Verification of ReLU Neural Control Barrier Functions","created":"2023-10-13","cited_by_count":14,"area":null},{"id":"2312.01456","title":"Compositional Policy Learning in Stochastic Control Systems with Formal Guarantees","created":"2023-12-03","cited_by_count":14,"area":null},{"id":"2410.16281","title":"Verification of Neural Control Barrier Functions with Symbolic Derivative Bounds Propagation","created":"2024-10-04","cited_by_count":12,"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":"2405.00136","title":"Data-Driven Permissible Safe Control with Barrier Certificates","created":"2024-04-30","cited_by_count":3,"area":null},{"id":"2511.06341","title":"Scalable Verification of Neural Control Barrier Functions Using Linear Bound Propagation","created":"2025-11-09","cited_by_count":2,"area":null},{"id":"2402.16449","title":"Online Efficient Safety-Critical Control for Mobile Robots in Unknown Dynamic Multi-Obstacle Environments","created":"2024-02-26","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":"2411.15350","title":"Dynamic Tube MPC: Learning Tube Dynamics with Massively Parallel Simulation for Robust Safety in Practice","created":"2024-11-22","cited_by_count":1,"area":null},{"id":"2302.14339","title":"Efficient Exploration Using Extra Safety Budget in Constrained Policy Optimization","created":"2023-02-28","cited_by_count":0,"area":null},{"id":"2402.18677","title":"Fault Tolerant Neural Control Barrier Functions for Robotic Systems under Sensor Faults and Attacks","created":"2024-02-28","cited_by_count":0,"area":null},{"id":"2505.14001","title":"VeRecycle: Reclaiming Guarantees from Probabilistic Certificates for Stochastic Dynamical Systems after Change","created":"2025-05-20","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":"2605.07757","title":"Efficient Verification of Neural Control Barrier Functions with Smooth Nonlinear Activations","created":"2026-05-08","cited_by_count":0,"area":null},{"id":"2605.20108","title":"k-Inductive Neural Barrier Certificates for Unknown Nonlinear Dynamics","created":"2026-05-19","cited_by_count":0,"area":null}],"next_cursor":null}