Slicing agent programs for more efficient verification

M. Winikoff, L. Dennis, M. Fisher

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review


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.
Original languageEnglish
Title of host publicationInternational Workshop on Engineering Multi-Agent Systems
Subtitle of host publicationEMAS 2018: Engineering Multi-Agent Systems
Publication statusPublished - 2019


Dive into the research topics of 'Slicing agent programs for more efficient verification'. Together they form a unique fingerprint.

Cite this