An Automated Policy Verification and Enforcement Framework for Ethereum Applications.

Swagatika Sahoo Raju Halder Samrat Mondal

Published in: ICBC (2023)

Keyphrases

main contribution
theoretical framework
learning algorithm
database
neural network
website
optimal solution
dynamic programming
probabilistic model
optimal policy
model checking
sequential decision making