Login / Signup

Reduced-Complexity Verification for K-Step and Infinite-Step Opacity in Discrete Event Systems.

Xiaoyan LiChristoforos N. HadjicostisZhiwu Li
Published in: CoRR (2023)
Keyphrases
  • discrete event systems
  • reduced complexity
  • computer vision
  • cooperative
  • vector quantization
  • model checking