Control-oriented modelling of proof-of-work blockchains.

Alberto Leva Silvia Carla Strada Mara Tanelli

Published in: ECC (2019)

Keyphrases

website
reinforcement learning
control problems
databases
web services
case study
multiscale
cooperative
control system
vision system
control strategy
theorem prover
control method
theorem proving