Aniello Murano, Mimmo Parente, Sasha Rubin, Loredana Sorrentino. Model-checking graded computation-tree logic with finite path semantics. Theoretical Computer Science, 806:577-586, 2020. [doi]
@article{MuranoPRS20, title = {Model-checking graded computation-tree logic with finite path semantics}, author = {Aniello Murano and Mimmo Parente and Sasha Rubin and Loredana Sorrentino}, year = {2020}, doi = {10.1016/j.tcs.2019.09.021}, url = {https://doi.org/10.1016/j.tcs.2019.09.021}, researchr = {https://researchr.org/publication/MuranoPRS20}, cites = {0}, citedby = {0}, journal = {Theoretical Computer Science}, volume = {806}, pages = {577-586}, }