Smart Contract Synthesis Modulo Hyperproperties.

Norine Coenen Bernd Finkbeiner Jana Hofmann Julia J. Tillman

Published in: CoRR (2022)

Keyphrases

texture synthesis
smart grid
supply chain
neural network
machine learning
image processing
smart environments
search engine
website
three dimensional
multi agent
multi agent systems