"Model-Checking an Alternating-time Temporal Logic with Knowledge, ..."

Catalin Dima, Constantin Enea, Dimitar P. Guelev (2010)
a service of Schloss Dagstuhl - Leibniz Center for Informatics