145 citations · 360 across the 54 of their papers we have counts for
1 paper · 1 filter
Babak Bagheri Hariri, Diego Calvanese, Giuseppe De Giacomo +2
Data-centric dynamic systems are systems where both the process controlling the dynamics and the manipulation of data are equally central. In this paper we study verification of (f…