Sign in

A Framework of Formal Specification-Based Data Generation for Deep Neural Networks.

Yanzhao XiaShaoying Liu
Published in: ICSCA (2023)
Keyphrases
  • formal specification
  • neural network
  • data generation
  • specification language
  • database
  • artificial intelligence
  • data streams
  • learning process
  • knowledge based systems
  • formal methods
  • specification languages