A study of multi-robot tracking problem in one-dimensional system using probabilistic model checking

Abstract

This study presents an approach to one-dimensional multi-robot tracking problem using probabilistic model checking. Two of three robots have probabilistic velocity changes that cause unsteady movements and potential collision. The experimental results shows qualitative and quantitative validation indicating applicability of model checking to designing dependable robot control.