Login / Signup
Machine-Checked Proofs of Accountability: How to sElect Who is to Blame.
Constantin Catalin Dragan
François Dupressoir
Kristian Gjøsteen
Thomas Haines
Peter B. Rønne
Morten 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