Formal approaches, ontologies, and standards for the verification of autonomous systems

Joanna Isabelle Olszewska

Formal approaches, ontologies, and standards for the verification of autonomous systems

Research output: Contribution to conference › Presentation › peer-review

17 Downloads (Pure)

Abstract

With the rising autonomy of devices, softwares, and systems, there is a clear need to provide convincing evidence of their safety, security, transparency, reliability, dependency, and resilience to users and other stakeholders. Consequently, verification, i.e. compelling evidence that autonomous systems satisfy their requirements, has become increasingly important, especially for building explainable technologies. As autonomous systems become more complex, with added intelligence and adaptive capabilities, the challenges for verification grow. Worldwide efforts to devise methodologies and develop tools related to the verification of autonomous systems are thus crucial.

Original language	English
Publication status	Published - 23 May 2022
Event	The 39th IEEE International Conference on Robotics and Automation: Workshop on the Verification of Autonomous Systems (VAS) - Pennsylvania Convention Center, Philadelphia, United States Duration: 23 May 2022 → 27 May 2022 https://robotistry.org/vaswg/ICRA22_Workshop/ https://www.icra2022.org/

Conference

Conference	The 39th IEEE International Conference on Robotics and Automation
Abbreviated title	ICRA 2022
Country/Territory	United States
City	Philadelphia
Period	23/05/22 → 27/05/22
Internet address	https://robotistry.org/vaswg/ICRA22_Workshop/ https://www.icra2022.org/

UN SDGs

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

Access to Document

2022 04 25 Olszewska Formal acceptedAccepted author manuscript, 357 KB

Cite this

@conference{550712e1de7941bf8aea5f8bee5193c6,

title = "Formal approaches, ontologies, and standards for the verification of autonomous systems",

abstract = "With the rising autonomy of devices, softwares, and systems, there is a clear need to provide convincing evidence of their safety, security, transparency, reliability, dependency, and resilience to users and other stakeholders. Consequently, verification, i.e. compelling evidence that autonomous systems satisfy their requirements, has become increasingly important, especially for building explainable technologies. As autonomous systems become more complex, with added intelligence and adaptive capabilities, the challenges for verification grow. Worldwide efforts to devise methodologies and develop tools related to the verification of autonomous systems are thus crucial. ",

author = "Olszewska, {Joanna Isabelle}",

year = "2022",

month = may,

day = "23",

language = "English",

note = "The 39th IEEE International Conference on Robotics and Automation : Workshop on the Verification of Autonomous Systems (VAS), ICRA 2022 ; Conference date: 23-05-2022 Through 27-05-2022",

url = "https://robotistry.org/vaswg/ICRA22_Workshop/, https://www.icra2022.org/",

}

TY - CONF

T1 - Formal approaches, ontologies, and standards for the verification of autonomous systems

AU - Olszewska, Joanna Isabelle

PY - 2022/5/23

Y1 - 2022/5/23

N2 - With the rising autonomy of devices, softwares, and systems, there is a clear need to provide convincing evidence of their safety, security, transparency, reliability, dependency, and resilience to users and other stakeholders. Consequently, verification, i.e. compelling evidence that autonomous systems satisfy their requirements, has become increasingly important, especially for building explainable technologies. As autonomous systems become more complex, with added intelligence and adaptive capabilities, the challenges for verification grow. Worldwide efforts to devise methodologies and develop tools related to the verification of autonomous systems are thus crucial.

AB - With the rising autonomy of devices, softwares, and systems, there is a clear need to provide convincing evidence of their safety, security, transparency, reliability, dependency, and resilience to users and other stakeholders. Consequently, verification, i.e. compelling evidence that autonomous systems satisfy their requirements, has become increasingly important, especially for building explainable technologies. As autonomous systems become more complex, with added intelligence and adaptive capabilities, the challenges for verification grow. Worldwide efforts to devise methodologies and develop tools related to the verification of autonomous systems are thus crucial.

UR - https://robotistry.org/vaswg/ICRA22_Workshop/

UR - https://www.icra2022.org/

M3 - Presentation

T2 - The 39th IEEE International Conference on Robotics and Automation

Y2 - 23 May 2022 through 27 May 2022

ER -

Formal approaches, ontologies, and standards for the verification of autonomous systems

Abstract

Conference

UN SDGs

Access to Document

Other files and links

Fingerprint

Cite this