Verifying Accountability for Unbounded Sets of Participants.

Kevin Morio Robert Künnemann

Published in: CSF (2021)

Keyphrases

model checking
information retrieval
information systems
significantly higher
data sets
machine learning
genetic algorithm
website
set theoretic