Give Me a Hand: How to Use Model Checking for Multi-Agent Systems to Help Runtime Verification and Vice Versa



Ferrando, A ORCID: 0000-0002-8711-4670 and Malvone, V ORCID: 0000-0001-6138-4229
(2022) Give Me a Hand: How to Use Model Checking for Multi-Agent Systems to Help Runtime Verification and Vice Versa. .

Access the full-text of this item by clicking on the Open Access link.

Abstract

In this paper, we review the history of model checking and runtime verification on multi-agent systems by recalling the results obtained in the two research areas. Then, we present some past, present and future directions to combine these techniques in the two possible sides, that is by using model checking for multi-agent systems to solve runtime verification problems and vice versa.

Item Type: Conference or Workshop Item (Unspecified)
Divisions: Faculty of Science and Engineering > School of Electrical Engineering, Electronics and Computer Science
Depositing User: Symplectic Admin
Date Deposited: 21 Apr 2023 13:47
Last Modified: 21 Apr 2023 13:47
Open Access URL: https://ceur-ws.org/Vol-3345/paper16_Spirit5.pdf
URI: https://livrepository.liverpool.ac.uk/id/eprint/3169854