Verifying Autonomous Systems⋆

Research output: Chapter in Book/Conference proceedingConference contribution

Abstract

This paper focuses on the work of the Autonomy and Verification Network1. In particular it will look at the use of model-checking to verify the choices made by a cognitive agent in control of decision making within an autonomous system. It will consider the assumptions that need to be made about the environment in which the agent operates in order to perform that verification and how those assumptions can be validated via runtime monitoring. Lastly it will consider how compositional techniques can be used to combine the agent verification with verification of other components within the autonomous system.
Original languageEnglish
Title of host publicationInternational Conference on Integrated Formal Methods (iFM 2022)
Publication statusAccepted/In press - 11 Apr 2022

Fingerprint

Dive into the research topics of 'Verifying Autonomous Systems⋆'. Together they form a unique fingerprint.

Cite this