Agent-Based Refinement for Predicate Abstraction of Multi-Agent Systems.

Francesco Belardinelli, Alessio Lomuscio, Jakub Michaliszyn

Browse the full ECAI paper archive.