Projects per year
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 language | English |
---|---|
Title of host publication | International Conference on Integrated Formal Methods (iFM 2022) |
Publication status | Accepted/In press - 11 Apr 2022 |
Fingerprint
Dive into the research topics of 'Verifying Autonomous Systems⋆'. Together they form a unique fingerprint.Projects
- 2 Finished
-
Novel Locomotion for Extreme Environments (Space)
Smith, K. (PI), Parslew, B. (CoI) & Weightman, A. (CoI)
16/03/20 → 31/03/21
Project: Research
-
Robotics and Artificial Intelligence for Nuclear (RAIN)
Lennox, B. (PI), Arvin, F. (CoI), Brown, G. (CoI), Carrasco Gomez, J. (CoI), Da Via, C. (CoI), Furber, S. (CoI), Luján, M. (CoI), Watson, S. (CoI), Watts, S. (CoI) & Weightman, A. (CoI)
2/10/17 → 31/03/22
Project: Research