Towards temporal verification of swarm robotic systems
Clare Dixon, Alan F.T. Winfield, Michael Fisher, Chengxiu ZengVolume:
60
Année:
2012
Langue:
english
DOI:
10.1016/j.robot.2012.03.003
Fichier:
PDF, 1.06 MB
english, 2012