Verifying Accountability for Unbounded Sets of Participants.

Kevin Morio Robert Künnemann

Published in: CoRR (2020)

Keyphrases

machine learning
multiscale
real time
data sets
information systems
case study
image sequences
model checking
undergraduate students
subject matter
set theoretic
definite clause
significantly greater