Formalising Decentralised Exchanges in Coq.

Eske Hoy Nielsen Danil Annenkov Bas Spitters

Published in: CPP (2023)

Keyphrases

conflict resolution
discrete event systems
formal methods
theorem prover
multi agent systems
max sum algorithm
autonomous agents
cooperative
database
case study
telecommunication networks
multi agent
bayesian networks
low level