DMCA

Verifying Multi-Agent Systems by Model Checking Three-valued Abstractions

by Alessio Lomuscio , Jakub Michaliszyn