Sign in

Smart Contract Synthesis Modulo Hyperproperties.

Norine CoenenBernd FinkbeinerJana HofmannJulia 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