C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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