Infinite-step opacity of nondeterministic finite transition systems: A bisimulation relation approach.

Kuize Zhang Majid Zamani

Published in: CDC (2017)

Keyphrases

transition systems
finite state
model checking
temporal logic
finite automata
concurrent systems
equivalence relation
fully observable
markov chain
finite number
practical reasoning
artificial intelligence
control flow
model checker
reactive systems