Toward Reliable Neural Specifications.

Chuqin Geng Nham Le Xiaojie Xu Zhaoyue Wang Arie Gurfinkel Xujie Si

Published in: CoRR (2022)

Keyphrases

neural network
network architecture
specification language
high level
machine learning
cost effective
bio inspired
control flow
artificial neural
continuous wavelet transform
database
genetic algorithm
case study
design requirements
neural information processing
nonlinear predictive control