Refining strategic ability in alternating-time temporal logic
scientific article; zbMATH DE number 6714839
scientific article