@misc{indiciaea4dbb852dd42,
  title = {Realizability Is Not Enough: Encoding, Liveness, and Auditing of Synthesized Robot Supervisors},
  author = {David C. Conner and Joshua Luzier and William J. Doyle and Emma R. Faith and Aubrie B. Kooiker and Andrew J. Farney and Sebastian Fox and Evangelina Grimes and Ian G. Conner and Kyle Bloom},
  year = {2026},
  url = {https://arxiv.org/abs/2609.30460},
  note = {Source identifier: 2609.30460}
}