Nicola Del Giudice 0002, Michele Loreti, Michela Quadrini, Aniqa Rehman. Monitoring Local and Global Properties of Collective Adaptive Systems. In Tiziana Margaria, Bernhard Steffen, editors, Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems - 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part II. Volume 15220 of Lecture Notes in Computer Science, pages 281-296, Springer, 2024. [doi]
Abstract is missing.