CitySpec with shield: A secure intelligent assistant for requirement formalization

Zirong Chen, Isaac Li, Haoxiang Zhang, Sarah Preum, John A. Stankovic, Meiyi Ma. CitySpec with shield: A secure intelligent assistant for requirement formalization. Pervasive and Mobile Computing, 92:101802, 2023. [doi]

Abstract

Abstract is missing.