24 citations · 57 across the 9 of their papers we have counts for
Showing 2018Show all
2 papers · 1 filter
cs.PL2018★ 14 cited
Towards formal models and languages for verifiable Multi-Robot Systems
Rocco De Nicola, Luca Di Stefano, Omar Inverso
Incorrect operations of a Multi-Robot System (MRS) may not only lead to unsatisfactory results, but can also cause economic losses and threats to safety. These threats may not alwa…
cs.FL2018★ 2 cited
DReAM: Dynamic Reconfigurable Architecture Modeling (full paper)
Rocco De Nicola, Alessandro Maggi, Joseph Sifakis
Modern systems evolve in unpredictable environments and have to continuously adapt their behavior to changing conditions. The "DReAM" (Dynamic Reconfigurable Architecture Modeling)…