Sign in

Runtime Enforcement of Hyperproperties.

Norine CoenenBernd FinkbeinerChristopher HahnJana HofmannYannick Schillo
Published in: ATVA (2021)
Keyphrases
  • access control
  • neural network
  • computer vision
  • decision making
  • preprocessing