Model-based Testing of Cooperating Robotic Systems using Coloured Petri Nets.

Raimar Lill, Francesca Saglietti

Browse the full SAFECOMP paper archive.