Sibilla: A tool for reasoning about collective systems. - Nicola Del Giudice 002; Lorenzo Matteucci; Michela Quadrini; Aniqa Rehman; Michele Loreti (Sci. Comput. Program., 2024)