Model checking multi-agent programs with CASP. (2003)

by R H Bordini, M Fisher, C Pardavila, W Visser, M Wooldridge
Venue:In Proceedings of the 15th International Conference on Computer Aided Verification (CAV03),