Search
Now showing items 1-10 of 11
Toward Reliable Autonomous Robotic Assistants Through Formal Verification : A Case Study
(2016-04-02)
It is essential for robots working in close proximity to people to be both safe and trustworthy. We present a case study on formal verification for a high-level planner/scheduler for the Care-O-bot, an autonomous personal ...
‘Teach Me - Show Me’- End-user personalisation of a smart home and companion robot
(2016-02-01)
Care issues and costs associated with an increasing elderly population is becoming a major concern for many countries. The use of assistive robots in ‘smart-home’ environments has been suggested as a possible partial ...
On the Integration of Adaptive and Interactive Robotic Smart Spaces
(2015-08-11)
Enabling robots to seamlessly operate as part of smart spaces is an important and extended challenge for robotics R&D and a key enabler for a range of advanced robotic applications, such as AmbientAssisted Living (AAL) and ...
Can Real-time, Adaptive Human-Robot Motor Coordination Improve Humans’ Overall Perception of a Robot?
(2015-03)
Previous research on social interaction among humans suggested that interpersonal motor coordination can help to establish social rapport. Our research addresses the question of whether, in a human-humanoid interaction ...
The ITALK project : A developmental robotics approach to the study of individual, social, and linguistic learning
(2014-07-24)
This article presents results from a multidisciplinary research project on the integration and transfer of language knowledge into robots as an empirical paradigm for the study of language development in both humans and ...
Formal verification of an autonomous personal robotic assistant
(AAAI, 2014-03)
Human–robot teams are likely to be used in a variety of situations wherever humans require the assistance of robotic systems. Obvious examples include healthcare and manufacturing, in which people need the assistance of ...
"The fridge door is open" : temporal verification of a robotic assistant's behaviours
(Springer Nature, 2014)
Robotic assistants are being designed to help, or work with, humans in a variety of situations from assistance within domestic situations, through medical care, to industrial settings. Whilst robots have been used in ...
Artists as HRI pioneers : A creative approach to developing novel interactions for living with robots
(Springer Nature, 2013-12)
In this article we present a long-term, continuous human-robot cohabitation experiment, which involved two professional artists, whose artistic work explores the boundary between science and society. The artists lived in ...
Assistive technology design and development for acceptable robotics companions for ageing years
(2013-12)
A new stream of research and development responds to changes in life expectancy across the world. It includes technologies which enhance well-being of individuals, specifically for older people. The ACCOMPANY project focuses ...
Interaction and Experience in Enactive Intelligence and Humanoid Robotics
(Institute of Electrical and Electronics Engineers (IEEE), 2013)
We overview how sensorimotor experience can be operationalized for interaction scenarios in which humanoid robots acquire skills and linguistic behaviours via enacting a “form-of-life”’ in interaction games (following ...