|
[BPBD12]
Manuele Brambilla, Carlo Pinciroli, Mauro Birattari and Marco Dorigo.
Property-driven Design for Swarm Robotics.
In Proc. 11th International Conference on Autonomous Agents and Multiagent Systems (AAMAS'12).
2012.
[Uses probabilistic model checking and PRISM as part of a design process for swarm robotics.]
|
|
Links:
[Google]
[Google Scholar]
|