Towards a Formal Verification Methodology for Collective Robotic Systems. - Edmond Gjondrekaj; Michele Loreti; Rosario Pugliese; Francesco Tiezzi 001; Carlo Pinciroli; Manuele Brambilla; Mauro Birattari; Marco Dorigo (ICFEM, 2012)

Modeling adaptation with a tuple-based coordination language. - Edmond Gjondrekaj; Michele Loreti; Rosario Pugliese; Francesco Tiezzi 001 (SAC, 2012)