Publication
Number of items: 1.
2014
  • "The fridge door is open" : temporal verification of a robotic assistant's behaviours. (2014) C. Dixon, M. Webster, Joe Saunders, M. Fisher and K. Dautenhahn