Back to Results
First PageMeta Content



17 Property-Driven Design for Robot Swarms: A Design Method Based on Prescriptive Modeling and Model Checking MANUELE BRAMBILLA, ARNE BRUTSCHY, MARCO DORIGO, and MAURO BIRATTARI, IRIDIA, UniversitĀ“e Libre de Bruxelles,
Add to Reading List

Document Date: 2016-01-20 06:09:06


Open Document

File Size: 868,52 KB

Share Result on Facebook