Verifying Liquidity of Bitcoin Contracts.

Massimo Bartoletti Roberto Zunino

Published in: POST (2019)

Keyphrases

supply chain
credit card
financial markets
model checking
portfolio optimization
futures market
moral hazard
adverse selection
real time
neural network
real world
search engine
social networks