DMCA

Property-driven design for robot swarms: A design method based on prescriptive modeling and model checking (2014)

by Manuele Brambilla , Arne Brutschy , Marco Dorigo , Mauro Birattari
Venue:ACM TRANSACTIONS ON AUTONOMOUS AND ADAPTIVE SYSTEMS
Citations:2 - 2 self