Search Results for author: Isaac Li

Found 2 papers, 0 papers with code

An Intelligent Assistant for Converting City Requirements to Formal Specification

no code implementations • 14 Jun 2022 • Zirong Chen, Isaac Li, Haoxiang Zhang, Sarah Preum, John Stankovic, Meiyi Ma

In this paper, we present CitySpec, an intelligent assistant system for requirement specification in smart cities.

Paper
Add Code

CitySpec: An Intelligent Assistant System for Requirement Specification in Smart Cities

no code implementations • 7 Jun 2022 • Zirong Chen, Isaac Li, Haoxiang Zhang, Sarah Preum, John A. Stankovic, Meiyi Ma

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.

Sentence

Paper
Add Code

Cannot find the paper you are looking for? You can Submit a new open access paper.