Verifying Multi-Agent Programs by Model Checking (2006)

Cached

Download Links

by Rafael H. Bordini , Michael Fisher , Willem Visser , Michael Wooldridge
Venue:Journal of Autonomous Agents and Multi-Agent Systems
Citations:45 - 10 self