Reactive Synthesis of Smart Contract Control Flows.

Bernd Finkbeiner Jana Hofmann Florian Kohn Noemi Passing

Published in: ATVA (1) (2023)

Keyphrases

control system
neural network
case study
supply chain
real time
data sets
information retrieval
decision making
artificial neural networks
mobile robot
power system
software agents
optimal control
process control
program synthesis