CRutoN: Automatic Verification of a Robotic Assistant's Behaviours.

Paul Gainer, Clare Dixon, Kerstin Dautenhahn, Michael Fisher, Ullrich Hustadt, Joe Saunders, Matt Webster

Browse the full FMICS paper archive.