IridiaTr2014-003 Revisions History

  • IridiaTr2014-003r001

    “Property-driven Design for Robot Swarms: A Design Method Based on Prescriptive Modeling and Model Checking”, M. Brambilla, M. Dorigo, M. Birattari.

    Revision date: January 2014