Model Checking Multi-Agent Programs with CASP.

Rafael H. Bordini, Michael Fisher, Carmen Pardavila, Willem Visser, Michael J. Wooldridge

Browse the full CAV paper archive.