70 citations · 114 across the 20 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…