Formally Verified Algorithmic Fairness Using Information-Flow Tools.

Samuel Teuber Bernhard Beckert

Published in: EWAF (2023)

Keyphrases

information flow
flow analysis
communication networks
information flows
supply chain
social networks
flow graph
information security
multi threaded
information diffusion
functional modules
social media
decision support
markov chain
random walk
game theory