Counting LTL. - François Laroussinie; Antoine Meyer; Eudes Petonnet (TIME, 2010)

Counting CTL - François Laroussinie; Antoine Meyer; Eudes Petonnet (Log. Methods Comput. Sci., 2012)