Opacity of nondeterministic transition systems: A (bi)simulation relation approach.

Kuize Zhang Xiang Yin Majid Zamani

Published in: CoRR (2018)

Keyphrases

transition systems
finite state
concurrent systems
temporal logic
model checking
fully observable
practical reasoning
multi agent
domain specific
control flow