all AI news
CitySpec: An Intelligent Assistant System for Requirement Specification in Smart Cities. (arXiv:2206.03132v2 [cs.AI] UPDATED)
Web: http://arxiv.org/abs/2206.03132
cs.LG updates on arXiv.org arxiv.org
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, many existing city requirements are written
in English with missing, inaccurate, or ambiguous information. There is a high
demand for assisting city policy makers in converting human-specified
requirements to machine-understandable formal specifications for monitoring
systems. To tackle this limitation, we build CitySpec, the first intelligent
assistant system for requirement specification in smart cities. To …
ai arxiv assistant cities intelligent intelligent assistant smart smart cities