The advent of sophisticated robotics and AI technology makes sending humans into
hazardous and distant environments to carry out inspections increasingly avoidable. Being …

In order to deal with an increasingly complex world, we need ever more sophisticated
computational models that can help us make decisions wisely and understand the potential …

We develop a taxonomy that categorizes HRI failure types and their impact on trust to
structure the broad range of knowledge contributions. We further identify research gaps in …

After an introductory section, this article will focus on four questions: How should the Kyoto
School be defined? What is meant by its central philosophical concept of “absolute …

Verifying autonomous systems Page 1 84 commUnications of thE acm | september 2013 | vol.
56 | no. 9 review articles Ill u S tra t Ion b ya lICI ak ub IS ta/ a n D r IJ b or yS a SS o CI a te S …

Temporal Logics are a rich variety of logical systems designed for formalising reasoning
about time, and about events and changes in the world over time. These systems differ by …

We present a verification methodology for analysing the decision-making component in
agent-based hybrid systems. Traditionally hybrid automata have been used to both …

We present an approach for the verification and validation (V&V) of robot assistants in the
context of human–robot interactions, to demonstrate their trustworthiness through …

The main purpose of this paper is to provide a theoretically grounded discussion on big data
mining for customer insights, as well as to identify and describe a research gap due to the …

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 …