License: Creative Commons Attribution 3.0 Unported license (CC BY 3.0)
When quoting this document, please refer to the following
DOI: 10.4230/LIPIcs.TIME.2020.1
URN: urn:nbn:de:0030-drops-129697
URL: http://dagstuhl.sunsite.rwth-aachen.de/volltexte/2020/12969/
Go to the corresponding LIPIcs Volume Portal

Dixon, Clare

Verifying Autonomous Robots: Challenges and Reflections (Invited Talk)

pdf-format:
LIPIcs-TIME-2020-1.pdf (0.3 MB)

Abstract

Autonomous robots such as robot assistants, healthcare robots, industrial robots, autonomous vehicles etc. are being developed to carry out a range of tasks in different environments. The robots need to be able to act autonomously, choosing between a range of activities. They may be operating close to or in collaboration with humans, or in environments hazardous to humans where the robot is hard to reach if it malfunctions. We need to ensure that such robots are reliable, safe and trustworthy. In this talk I will discuss experiences from several projects in developing and applying verification techniques to autonomous robotic systems. In particular we consider: a robot assistant in a domestic house, a robot co-worker for a cooperative manufacturing task, multiple robot systems and robots operating in hazardous environments.

BibTeX - Entry

@InProceedings{dixon:LIPIcs:2020:12969,
  author =	{Clare Dixon},
  title =	{{Verifying Autonomous Robots: Challenges and Reflections (Invited Talk)}},
  booktitle =	{27th International Symposium on Temporal Representation and Reasoning (TIME 2020)},
  pages =	{1:1--1:4},
  series =	{Leibniz International Proceedings in Informatics (LIPIcs)},
  ISBN =	{978-3-95977-167-2},
  ISSN =	{1868-8969},
  year =	{2020},
  volume =	{178},
  editor =	{Emilio Mu{\~n}oz-Velasco and Ana Ozaki and Martin Theobald},
  publisher =	{Schloss Dagstuhl--Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/opus/volltexte/2020/12969},
  URN =		{urn:nbn:de:0030-drops-129697},
  doi =		{10.4230/LIPIcs.TIME.2020.1},
  annote =	{Keywords: Verification, Autonomous Robots}
}

Keywords: Verification, Autonomous Robots
Collection: 27th International Symposium on Temporal Representation and Reasoning (TIME 2020)
Issue Date: 2020
Date of publication: 15.09.2020

DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI