@Inproceedings{EPTCS226.12, author = {Fontaine, Ga\"elle and Mogavero, Fabio and Murano, Aniello and Perelli, Giuseppe and Sorrentino, Loredana}, year = {2016}, title = {Cycle Detection in Computation Tree Logic}, editor = {Cantone, Domenico and Delzanno, Giorgio}, booktitle = {{\rm Proceedings of the Seventh International Symposium on} Games, Automata, Logics and Formal Verification, {\rm Catania, Italy, 14-16 September 2016}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {226}, publisher = {Open Publishing Association}, pages = {164-177}, doi = {10.4204/EPTCS.226.12}, }