Picture for Issa Li

Issa Li

CitySpec with Shield: A Secure Intelligent Assistant for Requirement Formalization

Add code
Feb 19, 2023
Figure 1 for CitySpec with Shield: A Secure Intelligent Assistant for Requirement Formalization
Figure 2 for CitySpec with Shield: A Secure Intelligent Assistant for Requirement Formalization
Figure 3 for CitySpec with Shield: A Secure Intelligent Assistant for Requirement Formalization
Figure 4 for CitySpec with Shield: A Secure Intelligent Assistant for Requirement Formalization
Viaarxiv icon