Verifying multi-agent programs by model checking (0)

by R H Bordini, M Fisher, W Visser, M Wooldridge
Venue:AAMAS