Aleksandar S. Dimovski, Axel Legay, Andrzej Wasowski. Generalized abstraction-refinement for game-based CTL lifted model checking. Theoretical Computer Science, 837:181-206, 2020. [doi]
@article{DimovskiLW20, title = {Generalized abstraction-refinement for game-based CTL lifted model checking}, author = {Aleksandar S. Dimovski and Axel Legay and Andrzej Wasowski}, year = {2020}, doi = {10.1016/j.tcs.2020.06.011}, url = {https://doi.org/10.1016/j.tcs.2020.06.011}, researchr = {https://researchr.org/publication/DimovskiLW20}, cites = {0}, citedby = {0}, journal = {Theoretical Computer Science}, volume = {837}, pages = {181-206}, }