Toward Formal Methods for Smart Cities
Meiyi Ma, John A. Stankovic, Lu Feng · Computer · 2021
How can the advantages of formal methods be brought to emerging smart cities? We discuss several core challenges and our recent efforts as the first step toward developing novel formal methods to ensure safety and performance in smart cities.