Export

BIB

Alle Autoren

Farzaneh Moradkhani, Martin Fränzle

Buchtitel

it-Information Technology (63), De Gruyter Oldenbourg, issue: 5-6

Zusammenfassung

Functional architectures of cyber-physical systems increasingly comprise components that are generated by training and machine learning rather than by more traditional engineering approaches, as necessary in safety-critical application domains, poses various unsolved challenges. Commonly used computational structures underlying machine learning, like deep neural networks, still lack scalable automatic verification support. Due to size, non-linearity, and non-convexity, neural network verification is a challenge to state-of-art Mixed Integer linear programming (MILP) solvers and satisfiability modulo theories (SMT) solvers , . In this research, we focus on artificial neural network with activation functions beyond the Rectified Linear Unit (ReLU). We are thus leaving the area of piecewise linear function supported by the majority of SMT solvers and specialized solvers for Artificial Neural Networks (ANNs), the …

Erscheinungsdatum

11 / 2021

Publikationstyp

article

Seiten

277-287