Login / Signup

Machine-Checked Proofs of Accountability: How to sElect Who is to Blame.

Constantin Catalin DraganFrançois DupressoirKristian GjøsteenThomas HainesPeter B. RønneMorten Rotvold Solberg
Published in: ESORICS (3) (2023)
Keyphrases
  • theorem proving
  • feature selection
  • selection algorithm
  • formal proof
  • formal proofs
  • neural network
  • decision making
  • image processing
  • probability distribution
  • feature set
  • batch processing