Login / Signup
Verification of Initial-State Opacity for Switched Systems: A Compositional Approach.
Siyuan Liu
Abdalla Swikir
Majid Zamani
Published in:
CoRR (2020)
Keyphrases
</>
initial state
distributed systems
markov chain
stationary distribution