Neural Abstractions - Abate, Alessandro; Edwards, Alec; Giacobbe, Mirco (Advances in Neural Information Processing Systems, 2022)