Towards verification of probabilistic multi-party consensus protocols: Constructing algorithms for verification of multi-party protocols with probabilistic properties.
Ivan FedotovAnton KhritankovArtem BargerPublished in: ICSIM (2022)
Keyphrases
- multi party
- privacy preserving
- privacy preserving distributed data mining
- fair exchange protocols
- human communication
- description language
- bayesian networks
- mental states
- learning algorithm
- virtual humans
- artificial intelligence
- orders of magnitude
- model checking
- fair exchange
- probabilistic model
- cooperative
- audio video
- multi issue