Run-Time Model Checking of Interaction and Deontic Models for Multi-Agent Systems.

Nardine Osman, David Robertson, Christopher Walton

Browse the full EUMAS paper archive.