We gratefully acknowledge support from
the Simons Foundation and member institutions.

Zhirui Dai and Nikolay Atanasov are qualified to endorse.

LTLCodeGen: Code Generation of Syntactically Correct Temporal Logic for Robot Task Planning

Behrad Rabiei: Is registered as an author of this paper.
Not currently an endorser. (why?)
Zhirui Dai: Is registered as an author of this paper.
Can endorse for cs.CV, cs.RO. (why?)
Nikolay Atanasov: Is registered as an author of this paper.
Can endorse for cs.AI, cs.CV, cs.GR, cs.IT, cs.LG, cs.LO, cs.MA, cs.NI, cs.RO, cs.SY, eess.SP, eess.SY, math.DS, math.IT, math.OC, stat.ML. (why?)

Mahesh Kumar A. R., Surya L. S. R. Pilla and Qiyue Dong are not registered as owners of this paper. (why?)