Login / Signup

Verification-friendly Networks: the Case for Parametric ReLUs.

Francesco LeofantePatrick HenriksenAlessio Lomuscio
Published in: IJCNN (2023)
Keyphrases
  • database
  • social networks
  • model checking
  • network analysis
  • community detection
  • data sets
  • databases
  • machine learning
  • artificial intelligence
  • face recognition
  • artificial neural networks
  • special case
  • complex networks