Contingent payments on a public ledger: models and reductions for automated verification.

Sergiu Bursuc Steve Kremer

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

Keyphrases

automated verification
probabilistic model
model checking
data sets
decision making
prior knowledge
state space
parameter estimation
complex systems
efficient computation
credit card
automated reasoning