Work

Safe Reinforcement Learning for NN-Controlled Systems With Neural Barrier Certificate Guidance

Year: 2025

Type: article

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

DOI: 10.1109/tcad.2025.3616856

Authors: Hanrui Zhao, Mengxin Ren, Banglong Liu, Niuniu Qi, Xia Zeng, Zhenbing Zeng, Zhengfeng Yang

Institutions: Shanghai Key Laboratory of Trustworthy Computing, East China Normal University, Southwest University, Shanghai University

Language: English

Topic: Formal Methods in Verification

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

Funders: National Natural Science Foundation of China, Fundamental Research Funds for the Central Universities

Awards: G1285319566, G1690479065, G6641716459, G8447102269

OpenAlex ID: W4414693524

FWCI: 0.496

Cites: 28

Cited by: 1

Related to: