TY  - RPRT
TI  - A Correct by Construction Fault Tolerant Voter for Input Selection of a Control System
AU  - Arif Ali AP
AU  - Jasine Babu
AU  - Deepa Sara John
PY  - 2025
UR  - https://arxiv.org/abs/2509.22236
ID  - 2509.22236
ER  -