TY  - RPRT
TI  - An Intelligent Assistant for Converting City Requirements to Formal Specification
AU  - Zirong Chen
AU  - Isaac Li
AU  - Haoxiang Zhang
AU  - Sarah Preum
AU  - John Stankovic
AU  - Meiyi Ma
PY  - 2022
UR  - https://arxiv.org/abs/2206.07152
ID  - 2206.07152
ER  -