Towards the Combination of Model Checking and Runtime Verification on Multi-agent Systems.

Angelo Ferrando, Vadim Malvone

Browse the full PAAMS paper archive.