# Formal Analysis of Human-Assisted Smart City Emergency Services

> Research article (IEEE Access, 2019) · cited 37× · AI/ML

**Wikidata**: [openalex:W2946493575](https://www.wikidata.org/wiki/openalex:W2946493575)  
**Source**: https://4ort.xyz/entity/formal-analysis-of-human-assisted-smart-city-emergency-services