Sign in

Reactive Synthesis of Smart Contract Control Flows.

Bernd FinkbeinerJana HofmannFlorian KohnNoemi Passing
Published in: CoRR (2022)
Keyphrases
  • control system
  • database
  • robot control
  • data mining
  • search engine
  • decision trees
  • expert systems
  • supply chain
  • adaptive control
  • control problems