Towards a Formal Verification Methodology for Collective Robotic Systems.

Edmond Gjondrekaj, Michele Loreti, Rosario Pugliese, Francesco Tiezzi, Carlo Pinciroli, Manuele Brambilla, Mauro Birattari, Marco Dorigo

Browse the full ICFEM paper archive.