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...

Full description

Saved in:
Bibliographic Details
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!