Login / Signup

Smart Markers in Smart Contracts: Enabling Multiway Branching and Merging in Blockchain for Decentralized Runtime Verification.

Tieming GengLaurent NjillaChin-Tser Huang
Published in: DSC (2021)
Keyphrases
  • smart environments
  • database
  • artificial intelligence
  • decision making
  • cooperative
  • search algorithm
  • mobile robot
  • supply chain
  • search tree