TY  - RPRT
TI  - Fault Tolerance by Construction
AU  - Benjamin Rodatz
AU  - Boldizsár Poór
AU  - Aleks Kissinger
PY  - 2026
UR  - https://arxiv.org/abs/2506.17181
ID  - 2506.17181
ER  -