Model Checkingbased Analysis of Multiagent Systems (0)

by M Benerecetti, F Giunchiglia
Venue:the Proceedings of the First Goddard Workshop on Formal Approaches to Agent-Based Systems (FAABS'00