Verifying Autonomous Robots: Challenges and Reflections

Clare Dixon

doi:10.4230/LIPIcs.TIME.2020.1

Verifying Autonomous Robots: Challenges and Reflections

Clare Dixon

Formal Methods

Research output: Chapter in Book/Conference proceeding › Conference contribution › peer-review

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.

Original language	English
Title of host publication	27th International Symposium on Temporal Representation and Reasoning (TIME 2020)
Editors	Emilio Munoz-Velasco, Ana Ozaki, Martin Theobald
Publisher	Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing
Pages	1-4
Number of pages	4
ISBN (Electronic)	9783959771672
DOIs	https://doi.org/10.4230/LIPIcs.TIME.2020.1
Publication status	Published - 15 Sept 2020

Publication series

Name	Leibniz International Proceedings in Informatics, LIPIcs
Volume	178
ISSN (Print)	1868-8969

Keywords

autonomous robots
verification

UN SDGs

This output contributes to the following UN Sustainable Development Goals (SDGs)

Access to Document

10.4230/LIPIcs.TIME.2020.1Licence: CC BY

Cite this

Dixon, C. (2020). Verifying Autonomous Robots: Challenges and Reflections. In E. Munoz-Velasco, A. Ozaki, & M. Theobald (Eds.), 27th International Symposium on Temporal Representation and Reasoning (TIME 2020) (pp. 1-4). Article 1 (Leibniz International Proceedings in Informatics, LIPIcs; Vol. 178). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing. https://doi.org/10.4230/LIPIcs.TIME.2020.1

@inproceedings{01e5895ab30f43fabdb892d659aa88ff,

title = "Verifying Autonomous Robots: Challenges and Reflections",

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.",

keywords = "autonomous robots, verification",

author = "Clare Dixon",

note = "Publisher Copyright: {\textcopyright} Clare Dixon; licensed under Creative Commons License CC-BY 27th International Symposium on Temporal Representation and Reasoning (TIME 2020).",

year = "2020",

month = sep,

day = "15",

doi = "10.4230/LIPIcs.TIME.2020.1",

language = "English",

series = "Leibniz International Proceedings in Informatics, LIPIcs",

publisher = "Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing",

pages = "1--4",

editor = "Emilio Munoz-Velasco and Ana Ozaki and Martin Theobald",

booktitle = "27th International Symposium on Temporal Representation and Reasoning (TIME 2020)",

address = "Germany",

}

Dixon, C 2020, Verifying Autonomous Robots: Challenges and Reflections. in E Munoz-Velasco, A Ozaki & M Theobald (eds), 27th International Symposium on Temporal Representation and Reasoning (TIME 2020)., 1, Leibniz International Proceedings in Informatics, LIPIcs, vol. 178, Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, pp. 1-4. https://doi.org/10.4230/LIPIcs.TIME.2020.1

Verifying Autonomous Robots: Challenges and Reflections. / Dixon, Clare.
27th International Symposium on Temporal Representation and Reasoning (TIME 2020). ed. / Emilio Munoz-Velasco; Ana Ozaki; Martin Theobald. Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 2020. p. 1-4 1 (Leibniz International Proceedings in Informatics, LIPIcs; Vol. 178).

Research output: Chapter in Book/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - Verifying Autonomous Robots

T2 - Challenges and Reflections

AU - Dixon, Clare

N1 - Publisher Copyright: © Clare Dixon; licensed under Creative Commons License CC-BY 27th International Symposium on Temporal Representation and Reasoning (TIME 2020).

PY - 2020/9/15

Y1 - 2020/9/15

N2 - 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.

AB - 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.

KW - autonomous robots

KW - verification

UR - http://www.scopus.com/inward/record.url?scp=85091664703&partnerID=8YFLogxK

U2 - 10.4230/LIPIcs.TIME.2020.1

DO - 10.4230/LIPIcs.TIME.2020.1

M3 - Conference contribution

T3 - Leibniz International Proceedings in Informatics, LIPIcs

SP - 1

EP - 4

BT - 27th International Symposium on Temporal Representation and Reasoning (TIME 2020)

A2 - Munoz-Velasco, Emilio

A2 - Ozaki, Ana

A2 - Theobald, Martin

PB - Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing

ER -

Dixon C. Verifying Autonomous Robots: Challenges and Reflections. In Munoz-Velasco E, Ozaki A, Theobald M, editors, 27th International Symposium on Temporal Representation and Reasoning (TIME 2020). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing. 2020. p. 1-4. 1. (Leibniz International Proceedings in Informatics, LIPIcs). Epub 2020 Sept 15. doi: 10.4230/LIPIcs.TIME.2020.1

Verifying Autonomous Robots: Challenges and Reflections

Abstract

Publication series

Keywords

UN SDGs

Access to Document

Other files and links

Fingerprint

Novel Locomotion for Extreme Environments (Space)

Robotics and Artificial Intelligence for Nuclear (RAIN)

Cite this

Verifying Autonomous Robots: Challenges and Reflections

Abstract

Publication series

Keywords

UN SDGs

Access to Document

Other files and links

Fingerprint

Projects

Novel Locomotion for Extreme Environments (Space)

Robotics and Artificial Intelligence for Nuclear (RAIN)

Cite this