Up a level |
Number of items: 2.
Ferrando, A ORCID: 0000-0002-8711-4670 and Malvone, V
(2021)
Combine Model Checking and Runtime Verification in Multi-Agent Systems (short paper)?
.
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.
.