Model Checking ATL* on vCGS
Categories
Logic in Computer Science
Datasets
Add Datasets
introduced or used in this paper