Sign in

An Automated Policy Verification and Enforcement Framework for Ethereum Applications.

Swagatika SahooRaju HalderSamrat 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