TY  - RPRT
TI  - Realizability Is Not Enough: Encoding, Liveness, and Auditing of Synthesized Robot Supervisors
AU  - David C. Conner
AU  - Joshua Luzier
AU  - William J. Doyle
AU  - Emma R. Faith
AU  - Aubrie B. Kooiker
AU  - Andrew J. Farney
AU  - Sebastian Fox
AU  - Evangelina Grimes
AU  - Ian G. Conner
AU  - Kyle Bloom
PY  - 2026
UR  - https://arxiv.org/abs/2609.30460
ID  - 2609.30460
ER  -