[Lecture Notes in Computer Science] Towards Autonomous Robotic Systems Volume 6856 || Towards Temporal Verification of Emergent Behaviours in Swarm Robotic Systems
✍ Scribed by Groß, Roderich; Alboul, Lyuba; Melhuish, Chris; Witkowski, Mark; Prescott, Tony J.; Penders, Jacques
- Book ID
- 120621305
- Publisher
- Springer Berlin Heidelberg
- Year
- 2011
- Weight
- 183 KB
- Category
- Article
- ISBN
- 3642232329
No coin nor oath required. For personal study only.
📜 SIMILAR VOLUMES
This Book Constitutes The Thoroughly Refereed Post-proceedings Of The 2nd Sab 2006 International Workshop On Swarm Robotics Held In Rome, Italy In September/october 2006 As A Satellite Event Of Sab 2006, The 9th Conference On Simulation Of Adaptive Behavior. The 14 Revised Full Papers Are Organized
This Book Constitutes The Thoroughly Refereed Post-proceedings Of The 2nd Sab 2006 International Workshop On Swarm Robotics Held In Rome, Italy In September/october 2006 As A Satellite Event Of Sab 2006, The 9th Conference On Simulation Of Adaptive Behavior. The 14 Revised Full Papers Are Organized