We consider a model of quantum computation using qubits where it is possible to measure whether given pair are in singlet (total spin 0) or triplet xmlns:mml="http://www.w3.org/1998/Math/MathML">1) state. The physical motivation that we can do these measurements way protected against...

It is widely accepted that every system should be robust in “small” violations of environment assumptions lead to guarantees, but it less clear how make this intuition mathematically precise. While significant efforts have been devoted providing notions robustness for Linear Temporal Logic (LTL), branching-time logics, such as Computation Tree (CTL) and CTL*, received attention regard. To addre...