Vol-3344⫷ Vol-3345 ⫸Vol-3346
urn:nbn:de:0074-3345-0


Vol-3345/paper15_Spirit4⫷Vol-3345/paper16_Spirit5⫸Vol-3345/paper17_Spirit6
Angelo Ferrando 0001Vadim Malvone

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