Model verification in foraging behavior of swarm robotics using SPIN model checker / Nur Atiqah Ibrahim
Swarm robotics systems normally consist of many homogeneous robots that operate autonomously without a global controller. It is inspired by swarms of insects cooperating to deliver food items that a single individual cannot move. An example of foraging behavior is in ant colonies that represent of h...
Saved in:
| Main Author: | |
|---|---|
| Format: | Thesis |
| Language: | English |
| Published: |
2015
|
| Subjects: | |
| Online Access: | https://ir.uitm.edu.my/id/eprint/108104/1/108104.pdf https://ir.uitm.edu.my/id/eprint/108104/ |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|