Compositional Verification of Initial-State Opacity for Switched Systems.

Siyuan Liu Abdalla Swikir Majid Zamani

Published in: CDC (2020)

Keyphrases

initial state
distributed systems
machine learning
knowledge base
formal methods
markov decision process
heuristic function
belief space
asynchronous circuits