Two labeled transition systems are bisimilar iff the defender has a winning strategy.
a Schelling point for those who seek one
