Login / Signup

Understanding Counterexamples for Relational Properties with DIbugger.

Mihai HerdaMichael KirstenEtienne BrunnerJoana PlewniaUlla SchelerChiara StaudenmaierBenedikt WagnerPascal ZwickBernhard Beckert
Published in: HCVS/PERR@ETAPS (2019)
Keyphrases
  • data sets
  • data model
  • structural properties
  • desirable properties
  • machine learning
  • artificial intelligence
  • computer vision
  • image processing
  • data structure
  • relational learning