An Intelligent Assistant for Converting City Requirements to Formal Specification.

Zirong Chen, Isaac Li, Haoxiang Zhang, Sarah Masud Preum, John A. Stankovic, Meiyi Ma

Browse the full SmartComp paper archive.