Michele Loreti, Michela Quadrini, Aniqa Rehman. Scalable Verification of Local and Global Properties of Collective Systems. In Claudio Antares Mezzina, Alan Schmitt, editors, Components Operationally: Reversibility and System Engineering: Essays Dedicated to Jean-Bernard Stefani on the Occasion of His 65th Birthday. Lecture Notes in Computer Science, pages 154-174, Springer Nature Switzerland, 2026. [doi]
Abstract is missing.