𝔖 Bobbio Scriptorium
✦   LIBER   ✦

[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


[Lecture Notes in Computer Science] Swar
✍ Şahin, Erol; Spears, William M.; Winfield, Alan F. T. 📂 Article 📅 2007 🏛 Springer Berlin Heidelberg 🌐 German ⚖ 535 KB

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

[Lecture Notes in Computer Science] Swar
✍ Şahin, Erol; Spears, William M.; Winfield, Alan F. T. 📂 Article 📅 2007 🏛 Springer Berlin Heidelberg 🌐 German ⚖ 792 KB

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