"DeepOpt: Scalable Specification-based Falsification of Neural Networks ..."

Fabian Bauer-Marquart, Stefan Leue, Christian Schilling (2021)

Details and statistics

DOI:

access: open

type: Informal or Other Publication

metadata version: 2022-10-02

a service of  Schloss Dagstuhl - Leibniz Center for Informatics