Opacity of Nondeterministic Transition Systems: A (Bi)Simulation Relation Approach.

Kuize Zhang Xiang Yin Majid Zamani

Published in: IEEE Trans. Autom. Control. (2019)

Keyphrases

transition systems
finite state
model checking
concurrent systems
fully observable
model checker
markov chain
initial state
object oriented
domain specific