# Verifiable Safe Synthesis Method for Stochastic Neural Control Barrier Functions (SNCBFs)

- Source: arXiv cs.RO
- Published: 2026-10-22T04:00:00.000Z
- RoboHot: https://robohot.news/en/items/zvhg93slbfes50eg57123i0nv
- Original: https://arxiv.org/abs/2506.21697

## Summary

This study proposes a verifiable safe synthesis method for stochastic neural control barrier functions (SNCBFs), providing a verification-free synthesis framework and a verification-in-the-loop synthesis framework for the smooth activation function and ReLU cases, respectively. The method was validated on three cases: the inverted pendulum, Darboux, and unicycle models.