Abstract: Graph Convolutional neural Networks (GCNs) demonstrate exceptional effectiveness when working with data that have non-Euclidean structures. In recent years, numerous researchers have ...
Abstract: Many safety-critical applications of neural networks, such as robotic control, require safety guarantees. This article introduces a method for ensuring the safety of learned models for ...