What Makes Atl* Decidable? A Decidable Fragment of Strategy Logic

Cite this paper

@inproceedings{Mogavero2012WhatMA, title={What Makes Atl* Decidable? A Decidable Fragment of Strategy Logic}, author={Fabio Mogavero and Aniello Murano and Giuseppe Perelli and Moshe Y. Vardi}, booktitle={CONCUR}, year={2012} }