"The Fridge Door is Open"-Temporal Verification of a Robotic Assistant's Behaviours (Won the Springer Award for Best Paper). Dixon, C.; Webster, M. P.; Saunders, J.; Fisher, M.; and Dautenhahn, K. In Mistry, M.; Leonardis, A.; Witkowski, M.; and Melhuish, C., editors, Procs. of the 15th Annual Conference on Advances in Autonomous Robotics Systems (TAROS 2014), volume 8717, of Lecture Notes in Computer Science, pages 97–108, 2014. Springer.
"The Fridge Door is Open"-Temporal Verification of a Robotic Assistant's Behaviours (Won the Springer Award for Best Paper) [link]Paper  doi  bibtex   
@inproceedings{DixonWSFD14,
	Author = {Clare Dixon and Matthew P. Webster and Joe Saunders and Michael Fisher and Kerstin Dautenhahn},
	Booktitle = {{Procs. of the 15th Annual Conference on Advances in Autonomous Robotics Systems ({TAROS} 2014)}},
	Date-Added = {2018-03-06 23:07:47 +0000},
	Date-Modified = {2018-03-06 23:07:47 +0000},
	Doi = {10.1007/978-3-319-10401-0_9},
	Editor = {Michael Mistry and Ales Leonardis and Mark Witkowski and Chris Melhuish},
	Pages = {97--108},
	Publisher = {Springer},
	Series = {Lecture Notes in Computer Science},
	Title = {{"The Fridge Door is Open"-Temporal Verification of a Robotic Assistant's Behaviours (Won the Springer Award for Best Paper)}},
	Url = {https://doi.org/10.1007/978-3-319-10401-0_9},
	Volume = {8717},
	Year = {2014},
	Bdsk-Url-1 = {https://doi.org/10.1007/978-3-319-10401-0_9}}
Downloads: 0