PV2 SRLBC = Safe Reinforcement Learning via Barrier Certificate generationgenerates a DNN for a given grid

Safe controller synthesis tool

Application domain/field

DNN (deep neural networks)

Type of tool

verification-in-the-loop synthesis tool

Expected input

grid initial region

Expected output

synthesised DNN


learner + verifier Uses Tensorflow 1.14 for DNN (deep neural network) controller synthesis, and PENBMI for barrier certificate generation
DNN Synthesis

Last publication date

15 July 2021

Related tools


ProVerB specific

ProVerB is a part of SLEBoK. Last updated: February 2023.