2 citations · 2 across the 3 of their papers we have counts for
Showing cs.AIShow all
3 papers · 1 filter
cs.AI2023★ 2 cited
CitySpec with Shield: A Secure Intelligent Assistant for Requirement Formalization
Zirong Chen, Issa Li, Haoxiang Zhang +3
An increasing number of monitoring systems have been developed in smart cities to ensure that the real-time operations of a city satisfy safety and performance requirements. Howeve…
cs.AI2022
An Intelligent Assistant for Converting City Requirements to Formal Specification
Zirong Chen, Isaac Li, Haoxiang Zhang +3
As more and more monitoring systems have been deployed to smart cities, there comes a higher demand for converting new human-specified requirements to machine-understandable formal…
cs.AI2022
CitySpec: An Intelligent Assistant System for Requirement Specification in Smart Cities
Zirong Chen, Isaac Li, Haoxiang Zhang +3
An increasing number of monitoring systems have been developed in smart cities to ensure that real-time operations of a city satisfy safety and performance requirements. However, m…