Zirong Chen, Isaac Li, Haoxiang Zhang, Sarah Preurn, John A. Stankovic, Meiyi Ma. An Intelligent Assistant for Converting City Requirements to Formal Specification. In 2022 IEEE International Conference on Smart Computing, SMARTCOMP 2022, Helsinki, Finland, June 20-24, 2022. pages 174-176, IEEE, 2022. [doi]
Abstract is missing.