Search

• < Previous
• 1
• Next >

---

A Spatial Logic for Simplicial Models

Michele Loreti ; Michela Quadrini.

Collective Adaptive Systems often consist of many heterogeneous components typically organised in groups. These entities interact with each other by adapting their behaviour to pursue individual or collective goals. In these systems, the distribution of these entities determines a space that can be&nbsp;[&hellip;]

---

A framework to measure the robustness of programs in the unpredictable environment

Valentina Castiglioni ; Michele Loreti ; Simone Tini.

Due to the diffusion of IoT, modern software systems are often thought to control and coordinate smart devices in order to manage assets and resources, and to guarantee efficient behaviours. For this class of systems, which interact extensively with humans and with their environment, it is thus&nbsp;[&hellip;]

---