Selective Presumed Benevolence in Multi-party System Verification.

Wolfgang Ahrendt Gordon J. Pace

Published in: ISoLA (1) (2022)

Keyphrases

multi party
privacy preserving
description language
privacy preserving distributed data mining
virtual humans
case study
model checking
human communication
data mining
artificial intelligence
expert systems
mental states
multi issue