Work

Formal Synthesis of Neural Barrier Certificates for Dynamical Systems via DC Programming

Year: 2025

Type: article

Source: IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems

DOI: 10.1109/tcad.2025.3555513

Authors: Yang Wang, Hanlong Chen, Wang Lin, Zuohua Ding

Institution: Zhejiang Sci-Tech University

Language: English

Topic: Formal Methods in Verification

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

Funder: National Natural Science Foundation of China

Awards: G205818515, G400648788

OpenAlex ID: W4408935245

FWCI: 0.48

Cites: 14

Cited by: 1

Related to: 10