Verification of multi-agent systems with public actions against strategy logic
scientific article; zbMATH DE number 7229001
scientific article