{"total":13,"rows":[{"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":"2206.01463","title":"Safety Certification for Stochastic Systems via Neural Barrier Functions","created":"2022-06-03","cited_by_count":22,"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":"2408.09033","title":"Error Bounds For Gaussian Process Regression Under Bounded Support Noise With Applications To Safety Certification","created":"2024-08-16","cited_by_count":6,"area":null},{"id":"2305.06432","title":"A Generalizable Physics-informed Learning Framework for Risk Probability Estimation","created":"2023-05-10","cited_by_count":4,"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":"2405.00136","title":"Data-Driven Permissible Safe Control with Barrier Certificates","created":"2024-04-30","cited_by_count":3,"area":null},{"id":"2404.03017","title":"Distributionally Robust Policy and Lyapunov-Certificate Learning","created":"2024-04-03","cited_by_count":2,"area":null},{"id":"2407.08868","title":"Generalizable Physics-Informed Learning for Stochastic Safety-Critical Systems","created":"2024-07-11","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":"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":"2601.12002","title":"Kernel-Based Learning of Safety Barriers","created":"2026-01-17","cited_by_count":0,"area":null}],"next_cursor":null}