Optimal Smart Contracts with Costly Verification.

Akaki Mamageishvili Jan Christoph Schlegel

Published in: IEEE ICBC (2020)

Keyphrases

dynamic programming
neural network
supply chain
optimal design
feature selection
optimal solution
worst case
model checking
data sets
scheduling problem
error prone
optimal control
finding optimal