Winikoff, Michael, Dennis, Louise ORCID: 0000-0003-1426-1896 and Fisher, Michael
(2019)
Slicing Agent Programs for More Efficient Verification.
In: Engineering Multi-Agent Systems, 2018-7-14 - ?, Stockholm, Sweden.
Text
EMAS18-07.pdf - Published version Download (399kB) |
Abstract
Agent programs are increasingly used as the core high-level decision-making components within a range of autonomous systems and, as the deployment of such systems in safety-critical scenarios develops, the need for strong and trustworthy verification becomes acute. Formal verification techniques such as model-checking provide this high level of assurance yet they are typically both complex and slow to deploy. In this chapter we introduce, develop and evaluate a program slicing technique that significantly improves the efficiency of such verification, hence providing more effective routes to the assurance of safety, reliability, and ethics in autonomous systems.
Item Type: | Conference or Workshop Item (Unspecified) |
---|---|
Uncontrolled Keywords: | Formal verification, Program analysis, Agent-oriented programming languages |
Depositing User: | Symplectic Admin |
Date Deposited: | 18 Sep 2018 09:46 |
Last Modified: | 19 Jan 2023 01:32 |
DOI: | 10.1007/978-3-030-25693-7_8 |
Open Access URL: | http://emas2018.dibris.unige.it/images/papers/EMAS... |
Related URLs: | |
URI: | https://livrepository.liverpool.ac.uk/id/eprint/3022442 |