Sign in

On two-way observer and its application to the verification of infinite-step and K-step opacity.

Xiang YinStéphane Lafortune
Published in: WODES (2016)
Keyphrases
  • post processing
  • data sets
  • wide range
  • multi step
  • real time
  • neural network
  • real world
  • machine learning
  • learning algorithm
  • knowledge base
  • input image