Login / Signup

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

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