Nicola Bombieri, Graziano Pravadelli and collaborators published Edge-Cloud Orchestration of Assertion-Based Monitors for Robotic Applications in ACM Transactions on Embedded Computing Systems, volume 25, issue 2 (2026).
The work connects runtime verification with edge-cloud orchestration for robotic systems, bringing together themes from heterogeneous computing and embedded-system verification.