We introduce dominant strategies for hyperproperties, such as observational determinism and other notions related to information flow, knowledge, and robustness. The approach is inspired by joint work with Werner Damm on the synthesis of distributed systems with dominant strategies, i.e., with strategies that perform at least as well as the best alternative strategy. If the specification admits a dominant strategy, the distributed system can be built compositionally, considering one component at a time. This paper extends the theory of dominant strategies from trace properties, which refer to individual traces, to k-hyperproperties, which relate several traces. We present a method for checking whether a given finite-state strategy is dominant, establish the compositionality of dominance for k-hypersafety properties and fully-informed architectures, and show how to derive weakest environment assumptions from dominant strategies.
2026
2025-10-28