Login / Signup
Formal Analysis of Lending Pools in Decentralized Finance.
Massimo Bartoletti
James Hsin-yu Chiang
Tommi Junttila
Alberto Lluch-Lafuente
Massimiliano Mirelli
Andrea Vandin
Published in:
CoRR (2022)
Keyphrases
</>
formal analysis
information asymmetry
peer to peer
computational intelligence
cooperative
formal methods
multi agent
distributed systems
financial markets
agent model
distributed agents
database
artificial intelligence
information systems
supply chain