Realizability Is Not Enough: Encoding, Liveness, and Auditing of Synthesized Robot Supervisors

作者：David C. Conner, Joshua Luzier, William J. Doyle, Emma R. Faith, Aubrie B. Kooiker, Andrew J. Farney, Sebastian Fox, Evangelina Grimes, Ian G. Conner, Kyle Bloom · 单位：Capable Humanitarian Robotics and Intelligent Systems Lab (CHRISLab), School of Engineering and Computing, Christopher Newport University · 会议/期刊：arXiv preprint · 方向：cs.RO · 发布日期：2026-09-28