• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

Abstraction-Based Synthesis of Opacity-Enforcing Controllers using Alternating Simulation Relations.

Junyao HouXiang YinShaoyuan LiMajid Zamani
Published in: CDC (2019)
Keyphrases