Verifying liquidity of Bitcoin contracts.

Massimo Bartoletti Roberto Zunino

Published in: IACR Cryptol. ePrint Arch. (2018)

Keyphrases

supply chain
credit card
model checking
financial markets
information systems
case study
portfolio optimization
futures market
real time
artificial intelligence
machine learning
principal agent