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

Internals

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