Abstract: Reachability analysis is a powerful tool to analyze the behavior of dynamical systems. Typically, these tools are used to evaluate whether the dynamics of a system beginning from some ...
Abstract: Graph Neural Networks (GNNs) have achieved remarkable performance on various learning tasks on geometric data. However, the incorporation of graph structures into the learning of node ...