Reactive Synthesis of Smart Contract Control Flows.

Bernd Finkbeiner Jana Hofmann Florian Kohn Noemi 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