Joshua D. Rosser Jacob Arkin Siddharth Patki Thomas M. Howard Resolving Ambiguity via Dialogue to Correct Unsynthesizable Controllers for Free-Flying Robots. 2023 abs/2304.05485 CoRR https://doi.org/10.48550/arXiv.2304.05485 db/journals/corr/corr2304.html#abs-2304-05485