Probabilistic Model Checking of Ant-Based Positionless Swarming - Gainer, Paul; Dixon, Clare; Hustadt, Ullrich (Towards Autonomous Robotic Systems, 2016)
Keywords: Micro Air Vehicles (MAV); Pheromone Level; Probabilistic Computation Tree Logic (PCTL); Probabilistic Model Checker PRISM; Robot Swarm