IEEE guide for verification of autonomous systems: an introduction to IEEE P2817

Aliasghar Arab; Angelo Ferraro; Ari Goodman; Hamid Asgari; Javier Ibanez-Guzman; Joanna I. Olszewska; Radu Calinescu; David Scheidt; Galen Mullins; Signe Redfield

IEEE guide for verification of autonomous systems: an introduction to IEEE P2817

Aliasghar Arab
, Angelo Ferraro
, Ari Goodman
, Hamid Asgari
, Javier Ibanez-Guzman
, Joanna I. Olszewska
, Radu Calinescu
, David Scheidt
, Galen Mullins
, Signe Redfield

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

9 Downloads (Pure)

Abstract

Draft standard IEEE P2817, “Guide for Verification of Autonomous Systems,” will be published this year. This overview paper describes the challenges that developers are facing and why full verification of autonomous systems is hard to achieve. Summarizing the scope, the key definitions, and the types of guidance that this new standard enables potential users of the standard to determine whether the standard is pertinent to their needs. We then describe the standard’s structure and its content, highlighting how they enable developers to systematically utilize and customize verification processes based on their needs, available resources and system requirements, while taking into consideration the complexity of the system and uncertainty associated with the operating environment.

Original language	English
Publication status	Accepted/In press - 21 Apr 2026
Event	2026 IEEE RAS International Conference on Engineering Reliable Autonomous Systems - Zagreb, Croatia Duration: 28 May 2026 → 29 May 2026 https://2026.ieee-eras.org/

Conference

Conference	2026 IEEE RAS International Conference on Engineering Reliable Autonomous Systems
Abbreviated title	ERAS 2026
Country/Territory	Croatia
City	Zagreb
Period	28/05/26 → 29/05/26
Internet address	https://2026.ieee-eras.org/

UN SDGs

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

SDG 8 Decent Work and Economic Growth
SDG 9 Industry, Innovation, and Infrastructure
SDG 11 Sustainable Cities and Communities
SDG 12 Responsible Consumption and Production
SDG 16 Peace, Justice and Strong Institutions
SDG 17 Partnerships for the Goals

Access to Document

2026 05 21 Arab et al IEEE accepted - for PureAccepted author manuscript, 430 KBLicence: CC BY 4.0

Cite this

@conference{78d0732ae82941cba7e117313ae52b49,

title = "IEEE guide for verification of autonomous systems: an introduction to IEEE P2817",

abstract = "Draft standard IEEE P2817, “Guide for Verification of Autonomous Systems,” will be published this year. This overview paper describes the challenges that developers are facing and why full verification of autonomous systems is hard to achieve. Summarizing the scope, the key definitions, and the types of guidance that this new standard enables potential users of the standard to determine whether the standard is pertinent to their needs. We then describe the standard{\textquoteright}s structure and its content, highlighting how they enable developers to systematically utilize and customize verification processes based on their needs, available resources and system requirements, while taking into consideration the complexity of the system and uncertainty associated with the operating environment.",

author = "Aliasghar Arab and Angelo Ferraro and Ari Goodman and Hamid Asgari and Javier Ibanez-Guzman and Olszewska, \{Joanna I.\} and Radu Calinescu and David Scheidt and Galen Mullins and Signe Redfield",

year = "2026",

month = apr,

day = "21",

language = "English",

note = "2026 IEEE RAS International Conference on Engineering Reliable Autonomous Systems , ERAS 2026 ; Conference date: 28-05-2026 Through 29-05-2026",

url = "https://2026.ieee-eras.org/",

}

TY - CONF

T1 - IEEE guide for verification of autonomous systems

T2 - 2026 IEEE RAS International Conference on Engineering Reliable Autonomous Systems

AU - Arab, Aliasghar

AU - Ferraro, Angelo

AU - Goodman, Ari

AU - Asgari, Hamid

AU - Ibanez-Guzman, Javier

AU - Olszewska, Joanna I.

AU - Calinescu, Radu

AU - Scheidt, David

AU - Mullins, Galen

AU - Redfield, Signe

PY - 2026/4/21

Y1 - 2026/4/21

N2 - Draft standard IEEE P2817, “Guide for Verification of Autonomous Systems,” will be published this year. This overview paper describes the challenges that developers are facing and why full verification of autonomous systems is hard to achieve. Summarizing the scope, the key definitions, and the types of guidance that this new standard enables potential users of the standard to determine whether the standard is pertinent to their needs. We then describe the standard’s structure and its content, highlighting how they enable developers to systematically utilize and customize verification processes based on their needs, available resources and system requirements, while taking into consideration the complexity of the system and uncertainty associated with the operating environment.

AB - Draft standard IEEE P2817, “Guide for Verification of Autonomous Systems,” will be published this year. This overview paper describes the challenges that developers are facing and why full verification of autonomous systems is hard to achieve. Summarizing the scope, the key definitions, and the types of guidance that this new standard enables potential users of the standard to determine whether the standard is pertinent to their needs. We then describe the standard’s structure and its content, highlighting how they enable developers to systematically utilize and customize verification processes based on their needs, available resources and system requirements, while taking into consideration the complexity of the system and uncertainty associated with the operating environment.

M3 - Paper

Y2 - 28 May 2026 through 29 May 2026

ER -

IEEE guide for verification of autonomous systems: an introduction to IEEE P2817

Abstract

Conference

UN SDGs

Access to Document

Fingerprint

Cite this