Set-based training of neural barrier certificates uses a loss function that encodes all safety properties so that zero loss formally proves the certificate is valid, collapsing iterative training and verification into one procedure.
Fossil 2.0: formal certificate synthesis for the verification and control of dynamical models,
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
eess.SY 1years
2026 1verdicts
UNVERDICTED 1representative citing papers
citing papers explorer
-
Set-Based Training of Neural Barrier Certificates for Safety Verification of Dynamical Systems
Set-based training of neural barrier certificates uses a loss function that encodes all safety properties so that zero loss formally proves the certificate is valid, collapsing iterative training and verification into one procedure.