RunTime verification of cyber-pHysical systems ∗

We classified the enabling technologies for the development of Smart Cities platforms in four categories – Cyber-Physical Systems, Internet of Things, Big Data, and Cloud Computing

1 While the idea of adding functional features to logic programming systems is clearly not new [2, 3, 21], and there are currently a good number of systems which integrate