Verification of correctness properties for aggregation behavior of swarm robotics system using spin model checker / Siti Shafinaz Ali
Swarm robotics is a new approach to the coordination of multi-robot systems which consist of large numbers of relatively simple robots (typically homogenous) which takes its inspiration from social insects. Referring previous research, the algorithm only focus on communication instead of rigorous ch...
Saved in:
Main Author: | Ali, Siti Shafinaz |
---|---|
Format: | Thesis |
Language: | English |
Published: |
2015
|
Subjects: | |
Online Access: | https://ir.uitm.edu.my/id/eprint/107735/1/107735.pdf |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
-
Developing web for learning object oriented programming (OOP) using videos / Farah Syazwani Roslan
by: Roslan, Farah Syazwani Roslan
Published: (2020) -
Dynamic linear programming model for quarterly budget allocation and execution / Rossidah Wan Abdul Aziz
by: Wan Abdul Aziz, Rossidah
Published: (2019) -
Synthesizing agent for Wumpus World / Ainul Azlinda Abu Bakar
by: Abu Bakar, Ainul Azlinda
Published: (2004) -
Optimizing placement of Unifi Hotspot Wireless Device In Universiti Teknologi Mara Kuala Terengganu / Nur Amalin Najwa Mohd Khaidi
by: Mohd Khaidi, Nur Amalin Najwa
Published: (2017) -
Determination of free flood areas due to sea levels rising by using Binary Integer Programming (BIP)/ Nurin Dalilah Rozani & Nur Syifaa’ Tamrin
by: Rozani, Nurin Dalilah, et al.
Published: (2019)