Sign in

Safety Verification of Neural-Network-Based Controllers: A Set Invariance Approach.

Louis JouretAdnane SaoudSorin Olaru
Published in: IEEE Control. Syst. Lett. (2023)
Keyphrases
  • neural network
  • database
  • machine learning
  • search engine
  • user defined
  • computer vision
  • object recognition
  • small number
  • feature set