DLV software on GitHub

Software OPEN SOURCE
  • Subject:
    acm: Hardware_REGISTER-TRANSFER-LEVELIMPLEMENTATION | TheoryofComputation_LOGICSANDMEANINGSOFPROGRAMS | ComputingMethodologies_PATTERNRECOGNITION | ComputingMethodologies_GENERAL

Safety Verification of Deep Neural Networks
Share - Bookmark