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:
ISoLA (3) (2022)
Keyphrases
</>
formal analysis
information asymmetry
formal methods
cooperative
multi agent
computational intelligence
peer to peer
agent model
distributed systems
database
information systems
financial services
distributed agents
expert systems
case study
financial markets
portfolio management
databases