Compositional Verification of Initial-State Opacity for Switched Systems.

Siyuan Liu Abdalla Swikir Majid Zamani

Published in: CoRR (2021)

Keyphrases

initial state
distributed systems
formal methods
search space
optimal policy
asynchronous circuits