(untitled) (Informatica)
Model Checking Multi-Agent Systems